A Bit-Vector Solver with Word-Level Propagation

DOI10.1007/978-3-319-33954-2_27zbMath1475.68360DBLPconf/cpaior/WangSS16OpenAlexW2465314249WikidataQ57664981 ScholiaQ57664981MaRDI QIDQ2815126

Wenxi Wang, Peter J. Stuckey, Harald Søndergaard

Publication date: 27 June 2016

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

Full work available at URL: https://doi.org/10.1007/978-3-319-33954-2_27

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (2)

Sharpening constraint programming approaches for bit-vector theory ⋮ Wombit: a portfolio bit-vector solver using word-level propagation

This page was built for publication: A Bit-Vector Solver with Word-Level Propagation