Les papiers suivants seront présentés à la 31ème conférence internationale sur les principes et les pratiques de la programmation par contraintes (CP'25) :

  • Reducing Quantum Circuit Synthesis to #SAT
    Alfons Laarman, Dekel Zak, Jean-Marie Lagniez, Jingyi Mei

  • Practically Feasible Proof Logging for Pseudo-Boolean Optimization
    Andy Oertel, Daniel Le Berre, Jakob Nordström, Magnus O. Myreen, Marc Vinyals, Wietze Koops, Yong Kiam Tan

  • Aircraft Resource-Constrained Assembly Line Balancing with Learning Effect: a Constraint Programming Approach
    Christophe Lecoutre, Duc Anh Le, Stéphanie Roussel

Le papier suivant sera présenté à la 28ème conférence internationale sur la théorie et les applications du test de cohérence (SAT'25) :

  • SAT-based CEGAR Method for the Hamiltonian Cycle Problem Enhanced by Cut-Set Constraints
    Ryoga Ohashi, Takehide Soh, Daniel Le Berre, Hidetomo Nabeshima, Mutsunori Banbara, Katsumi Inoue, Naoyuki Tamura