CPAIOR (2)

Keyphrases

Publications

2024

Aïdin Sumic, Alessandro Cimatti, Andrea Micheli, Thierry Vidal
SMT-Based Repair of Disjunctive Temporal Networks with Uncertainty: Strong and Weak Controllability. CPAIOR (2) (2024)
Bo Tang, Elias B. Khalil
CaVE: A Cone-Aligned Approach for Fast Predict-then-optimize with Binary Linear Programs. CPAIOR (2) (2024)
Bastián Véjar, Gaël Aglin, Ali Irfan Mahmutogullari, Siegfried Nijssen, Pierre Schaus, Tias Guns
An Efficient Structured Perceptron for NP-Hard Combinatorial Optimization Problems. CPAIOR (2) (2024)
Haoruo Zhao, Hassan L. Hijazi, Haydn Jones, Juston Moore, Mathieu Tanneau, Pascal Van Hentenryck
Bound Tightening Using Rolling-Horizon Decomposition for Neural Network Verification. CPAIOR (2) (2024)
Chao Yin, Quentin Cappart, Gilles Pesant
An Improved Neuro-Symbolic Architecture to Fine-Tune Generative AI Systems. CPAIOR (2) (2024)
Gioni Mexi, Somayeh Shamsi, Mathieu Besançon, Pierre Le Bodic
Probabilistic Lookahead Strong Branching via a Stochastic Abstract Branching Model. CPAIOR (2) (2024)
Connor Lawless, Oktay Günlük
Fair Minimum Representation Clustering. CPAIOR (2) (2024)
Noah Schutte, Krzysztof Postek, Neil Yorke-Smith
Improving Metaheuristic Efficiency for Stochastic Optimization by Sequential Predictive Sampling. CPAIOR (2) (2024)
Mohsen Nafar, Michael Römer
Lookahead, Merge and Reduce for Compiling Relaxed Decision Diagrams for Optimization. CPAIOR (2) (2024)
Felipe de C. Pereira, Pedro J. de Rezende, Tallys H. Yunes
Minimizing the Cost of Leveraging Influencers in Social Networks: IP and CP Approaches. CPAIOR (2) (2024)
Jiatai Tong, Junyang Cai, Thiago Serra
Optimization over Trained Neural Networks: Taking a Relaxing Walk. CPAIOR (2) (2024)
Mehdi Zouitine, Ahmad Berjaoui, Agnès Lagnoux, Clément Pellegrini, Emmanuel Rachelson
Learning Heuristics for Combinatorial Optimization Problems on K-Partite Hypergraphs. CPAIOR (2) (2024)
Kim van den Houten, David M. J. Tax, Esteban Freydell, Mathijs de Weerdt
Learning from Scenarios for Repairable Stochastic Scheduling. CPAIOR (2) (2024)
Adrian Wurm
Robustness Verification in Neural Networks. CPAIOR (2) (2024)
Andrea Visentin, Aodh Ó Gallchóir, Jens Kärcher, Herbert Meyr
Explainable Algorithm Selection for the Capacitated Lot Sizing Problem. CPAIOR (2) (2024)
Egon Persak, Miguel F. Anjos
Learning Deterministic Surrogates for Robust Convex QCQPs. CPAIOR (2) (2024)
Charles Thomas, Pierre Schaus
A Constraint Programming Approach for Aircraft Disassembly Scheduling. CPAIOR (2) (2024)
Zhongdi Qu, Marc Grimson, Yue Mao, Sebastian Heilpern, Imanol Miqueleiz, Felipe Siqueira Pacheco, Alexander Flecker, Carla P. Gomes
Strategies for Compressing the Pareto Frontier: Application to Strategic Planning of Hydropower in the Amazon Basin. CPAIOR (2) (2024)
Christoph Jabs, Jeremias Berg, Matti Järvisalo
Core Boosting in SAT-Based Multi-objective Optimization. CPAIOR (2) (2024)
Rahul Patel, Elias B. Khalil
LEO: Learning Efficient Orderings for Multiobjective Binary Decision Diagrams. CPAIOR (2) (2024)
Matthew J. McIlree, Ciaran McCreesh, Jakob Nordström
Proof Logging for the Circuit Constraint. CPAIOR (2) (2024)

volume 14743, 2024

Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part II CPAIOR (2) 14743 (2024)