Certified dominance and symmetry breaking for combinatorial optimisation

DOI10.1613/jair.1.14296MaRDI QIDQ6488808

Bart Bogaerts, Stephan Gocht, Ciaran McCreesh, Jakob Nordström

Publication date: 23 October 2023

Published in: The Journal of Artificial Intelligence Research (JAIR) (Search for Journal in Brave)

zbMATH Keywords

Boolean satisfiabilityconstraint satisfaction

Mathematics Subject Classification ID

Approximation methods and heuristics in mathematical programming (90C59) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Complexity of proofs (03F20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Computational aspects of satisfiability (68R07)

This page was built for publication: Certified dominance and symmetry breaking for combinatorial optimisation