Search

Search Results

• Faster Symmetry Breaking Constraints for Abstract Structures

  Özgür Akgün, Mun See Chang, Ian P. Gent, Christopher Jefferson

  14132-14139

  2026-03-14

• Faster Certified Symmetry Breaking Using Orders with Auxiliary Variables

  Markus Anders, Bart Bogaerts, Benjamin Bogø, Arthur Gontier, Wietze Koops, Ciaran McCreesh, Magnus O. Myreen, Jakob Nordström, Andy Oertel, Adrian Rebola-Pardo, Yong Kiam Tan

  14140-14148

  2026-03-14

• Learning with Structure: Computing Consistent Subsets on Structurally-Regular Graphs

  Aritra Banik, Mano Prakash Parthasarathi, Venkatesh Raman, Diya Roy, Abhishek Sahu

  14149-14156

  2026-03-14

• Greedily Maximizing Ex-Ante Fairness

  Ruben Becker, Bojana Kodric, Cosimo Vinci

  14157-14165

  2026-03-14

• Ordered Objectives in Maximum Satisfiability

  Jeremias Berg, André Schidler, Matti Järvisalo

  14166-14174

  2026-03-14

• Proof Systems for Tensor-based Model Counting

  Olaf Beyersdorff, Joachim Giesen, Andreas Goral, Tim Hoffmann, Kaspar Kasche, Christoph Staudt

  14175-14183

  2026-03-14

• Proof Systems That Tightly Characterise Model Counting Algorithms

  Olaf Beyersdorff, Tim Hoffmann, Kaspar Kasche

  14184-14191

  2026-03-14

• Using Certifying Constraint Solvers for Generating Step-wise Explanations

  Ignace Bleukx, Maarten Flippo, Bart Bogaerts, Emir Demirović, Tias Guns

  14192-14200

  2026-03-14

• Learning DFAs from Positive Examples Only via Word Counting

  Benjamin Bordais, Daniel Neider

  14201-14208

  2026-03-14

• Aperiodic Tiling and Rhythmic Canons: A CP Journey

  Guillaume Derval, Christophe Lecoutre

  14209-14216

  2026-03-14

• Exact Algorithms for Distance to Unique Vertex Cover

  Foivos Fioravantes, Dušan Knop, Nikolaos Melissinos, Michal Opler, Manolis Vasilakis

  14217-14224

  2026-03-14

• Preference Elicitation for Step-Wise Explanations in Logic Puzzles

  Marco Foschini, Marianne Defresne, Emilio Gamba, Bart Bogaerts, Tias Guns

  14225-14233

  2026-03-14

• Model Counting for Dependency Quantified Boolean Formulas

  Long-Hin Fung, Che Cheng, Jie-Hong Roland Jiang, Friedrich Slivovsky, Tony Tan

  14234-14242

  2026-03-14

• Constraint Optimization of MicroPlate Designs

  Ramiz Gindullin, María Andreína Francisco Rodríguez

  14243-14250

  2026-03-14

• Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach

  Hannes Ihalainen, Dieter Vandesande, André Schidler, Jeremias Berg, Bart Bogaerts, Matti Järvisalo

  14251-14260

  2026-03-14

• The Limitations and Power of NP-Oracle Based Functional Synthesis Techniques

  Brendan Juba, Kuldeep S. Meel

  14261-14268

  2026-03-14

• Graph Choosability via SAT: Beyond the Nullstellensatz

  Markus Kirchweger, Tomáš Peitl, David Seka, Stefan Szeider

  14269-14277

  2026-03-14

• Using Constraint Solvers to Construct Binary Codes with Good Error Correction Performance

  Stepan Kochemazov, Oleg Zaikin, Grigorii Trofimiuk, Kirill Antonov, Alexander Semenov

  14278-14286

  2026-03-14

• Towards Single Exponential Time for Temporal and Spatial Reasoning: A Study via Redundancy and Dynamic Programming

  Victor Lagerkvist, Johanna Groven, Leif Eriksson

  14287-14294

  2026-03-14

• Scale-Net: A Hierarchical U-Net Framework for Cross-Scale Generalization in Multi-Task Vehicle Routing

  Suyu Liu, Zhiguang Cao, Nan Yin, Yew-Soon Ong

  14295-14303

  2026-03-14

• LLM-Guided Quantified SMT Solving over Uninterpreted Functions

  Kunhang Lv, Yuhang Dong, Rui Han, Fuqi Jia, Feifei Ma, Jian Zhang

  14304-14312

  2026-03-14

• Constrained Molecule Generation Modelled Using the Grammar Constraint

  David Saikali, Gilles Pesant

  14313-14321

  2026-03-14

• Assignment Problems in Cost Function Networks

  Guidio Sewa, David Allouche, Simon de Givry, George Katsirelos, Pierre Montalbano, Thomas Schiex

  14322-14330

  2026-03-14

• A GPU-based Constraint Programming Solver

  Pierre Talbot

  14331-14341

  2026-03-14

• Certified Branch-and-Bound MaxSAT Solving

  Dieter Vandesande, Jordi Coll, Bart Bogaerts

  14342-14351

  2026-03-14