From the 1 of 6 papers with an AI index.
- Centre National de la Recherche ScientifiqueFR4 papers
- Centre de Recherche en InformatiqueFR1 paper
- Centre Population et DéveloppementFR1 paper
- Frequentis (Austria)AT1 paper
- Laboratoire de Physique des PlasmasFR1 paper
- Laboratoire Paul PainlevéFR1 paper
- Sorbonne Paris CitéFR1 paper
- TU WienAT1 paper
- Universidad Yachay TechEC1 paper
- Université de LilleFR1 paper
- Université Paris CitéFR1 paper
- University of Applied Sciences PotsdamDE1 paper
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
ASPaeroFlow: Decomposition Heuristics for Joint Air Traffic Flow & Capacity Management
Alexander Beiser, Markus Hecher, Nysret Musliu +2
While mathematical models act as vital decision support systems for operational Air Traffic Flow and Capacity Management (ATFCM), existing approaches isolate Air Traffic Flow Manag…
cs.AI2026
Enhancing Query Efficiency for d-DNNF Representations Through Preprocessing
Jean Marie Lagniez, Emmanuel Lonca
The paper studies preprocessing methods that preserve model counts to speed up uniform sampling, direct model access, and enumeration of models for CNF formulas compiled into d-DNN…