Papers
LLM-Guided Quantified SMT Solving over Uninterpreted Functions
Kunhang Lv, Yuhang Dong, Rui Han et al.
Scale-Net: A Hierarchical U-Net Framework for Cross-Scale Generalization in Multi-Task Vehicle Routing
Suyu Liu, Zhiguang Cao, Nan Yin et al.
Towards Single Exponential Time for Temporal and Spatial Reasoning: A Study via Redundancy and Dynamic Programming
Victor Lagerkvist, Johanna Groven, Leif Eriksson
Using Constraint Solvers to Construct Binary Codes with Good Error Correction Performance
Stepan Kochemazov, Oleg Zaikin, Grigorii Trofimiuk et al.
Graph Choosability via SAT: Beyond the Nullstellensatz
Markus Kirchweger, Tomáš Peitl, David Seka et al.
The Limitations and Power of NP-Oracle Based Functional Synthesis Techniques
Brendan Juba, Kuldeep S. Meel
Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach
Hannes Ihalainen, Dieter Vandesande, André Schidler et al.
Constraint Optimization of MicroPlate Designs
Ramiz Gindullin, María Andreína Francisco Rodríguez
Model Counting for Dependency Quantified Boolean Formulas
Long-Hin Fung, Che Cheng, Jie-Hong Roland Jiang et al.
Preference Elicitation for Step-Wise Explanations in Logic Puzzles
Marco Foschini, Marianne Defresne, Emilio Gamba et al.
Exact Algorithms for Distance to Unique Vertex Cover
Foivos Fioravantes, Dušan Knop, Nikolaos Melissinos et al.
Aperiodic Tiling and Rhythmic Canons: A CP Journey
Guillaume Derval, Christophe Lecoutre
Learning DFAs from Positive Examples Only via Word Counting
Benjamin Bordais, Daniel Neider
Using Certifying Constraint Solvers for Generating Step-wise Explanations
Ignace Bleukx, Maarten Flippo, Bart Bogaerts et al.
Proof Systems That Tightly Characterise Model Counting Algorithms
Olaf Beyersdorff, Tim Hoffmann, Kaspar Kasche
Proof Systems for Tensor-based Model Counting
Olaf Beyersdorff, Joachim Giesen, Andreas Goral et al.
Ordered Objectives in Maximum Satisfiability
Jeremias Berg, André Schidler, Matti Järvisalo
Greedily Maximizing Ex-Ante Fairness
Ruben Becker, Bojana Kodric, Cosimo Vinci
Learning with Structure: Computing Consistent Subsets on Structurally-Regular Graphs
Aritra Banik, Mano Prakash Parthasarathi, Venkatesh Raman et al.
Faster Certified Symmetry Breaking Using Orders with Auxiliary Variables
Markus Anders, Bart Bogaerts, Benjamin Bogø et al.
Faster Symmetry Breaking Constraints for Abstract Structures
Özgür Akgün, Mun See Chang, Ian P. Gent et al.
CoordAR: One-Reference 6D Pose Estimation of Novel Objects via Autoregressive Coordinate Map Generation
Dexin Zuo, Ang Li, Wei Wang et al.
Decoupling What to Count and Where to See for Referring Expression Counting
Yuda Zou, Zijian Zhang, Yongchao Xu
Boosting Adversarial Transferability via Ensemble Non-Attention
Yipeng Zou, Qin Liu, Jie Wu et al.
HATIR: Heat-Aware Diffusion for Turbulent Infrared Video Super-Resolution
Yang Zou, Xingyue Zhu, Kaiqi Han et al.