Dynamic Lex Constraints
From MaRDI portal
Publication:3524251
DOI10.1007/11889205_33zbMath1160.68559MaRDI 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
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
Static and dynamic structural symmetry breaking, \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver, Towards breaking more composition symmetries in partial symmetry breaking, Local Symmetry Breaking During Search in CSPs