Symmetry breaking for pseudo-Boolean formulas
From MaRDI portal
Publication:5269268
DOI10.1145/1227161.1278375zbMath1365.68382OpenAlexW2089660673MaRDI QIDQ5269268
Arathi Ramani, Fadi A. Aloul, Karem A. Sakallah, Igor L. Markov
Publication date: 15 June 2017
Published in: ACM Journal of Experimental Algorithmics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1227161.1278375
Boolean programming (90C09) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (1)
This page was built for publication: Symmetry breaking for pseudo-Boolean formulas