Dynamic symmetry-breaking for Boolean satisfiability
From MaRDI portal
Publication:976993
DOI10.1007/s10472-010-9173-2zbMath1205.68366MaRDI QIDQ976993
Igor L. Markov, Karem A. Sakallah, Fadi A. Aloul, Arathi Ramani
Publication date: 16 June 2010
Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10472-010-9173-2
90C05: Linear programming
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
A Study of Symmetry Breaking Predicates and Model Counting, Packing, partitioning, and covering symresacks, Search techniques for SAT-based Boolean optimization, The state of SAT, Generating effective symmetry-breaking predicates for search problems
Uses Software
Cites Work