Contributions

2026 Lisbon 13

• Reformulation in MaxSAT: Resolution Rules and Gadgets Invited
  no file
  Carlos Ansótegui
• Defining Propagators in MiniZinc
  paper ↓
  Jip J. Dekker, Peter J. Stuckey, Guido Tack, Huu Quang Tran, Markus Wagner
• Propagation Algorithms for the Minimum-Distance Constraint over Selected Points
  paper ↓
  Mikael Zayenz Lagerkvist
• Machine Learning-Based Generalization Queries for Constraint Acquisition
  no file
  Dimos Tsouros, Senne Berden, Tias Guns
• Paramita: An Extensible Framework for SATisfiability Solving
  paper ↓
  Josep Alòs, Carlos Ansótegui, Juan Luis Esteban, Eduard Torres
• An Interactive Application to Solve Sudoku Variant Puzzles
  paper ↓
  Helmut Simonis, Luis Quesada
• Scaling Sudoku as a Constraint Problem
  paper ↓
  Mikael Zayenz Lagerkvist
• Computing Gadgets
  paper ↓
  Josep Alòs, Carlos Ansótegui, Supratik Chakraborty, Eduard Torres
• Towards Automated Generation of Benchmark Instances with Diverse Solver Performance
  paper ↓
  Tianchen Wu, Ian Miguel, Nguyen Dang
• Novel Pair- and Topic-Swapping
  paper ↓
  Frej Knutar Lewander, Jennifer Gross, María Andreína Francisco Rodríguez
• No More Awkward Silences with Table Talk Tuning
  paper ↓
  Martin Butler, Mikael Zayenz Lagerkvist
• A Simple Yet Efficient Lifted Formulation for Hard-to-Ground Planning Problems
  paper ↓
  Miquel Bofill, Cristina Borralleras, Josu Oca
• Solution Checking with CPMpy
  paper ↓
  Hendrik Bierlee, Tias Guns