Revisiting Hyper Binary Resolution

DOI10.1007/978-3-642-38171-3_6zbMath1382.68223OpenAlexW146194429MaRDI QIDQ4922905

Matti Järvisalo, Armin Biere, Marijn J. H. Heule

Publication date: 4 June 2013

Published in: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-38171-3_6

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)