Dynamic Lex Constraints
From MaRDI portal
Publication:3524251
DOI10.1007/11889205_33zbMath1160.68559OpenAlexW1547380088MaRDI QIDQ3524251
Publication date: 9 September 2008
Published in: Principles and Practice of Constraint Programming - CP 2006 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11889205_33
Related Items (4)
Towards breaking more composition symmetries in partial symmetry breaking ⋮ Local Symmetry Breaking During Search in CSPs ⋮ Static and dynamic structural symmetry breaking ⋮ \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver
This page was built for publication: Dynamic Lex Constraints
