A SAT-Based Decision Procedure for Mixed Logical/Integer Linear Problems

DOI10.1007/11493853_24zbMath1133.68435OpenAlexW1540181924MaRDI QIDQ5450941

Hossein M. Sheini, Karem A. Sakallah

Publication date: 17 March 2008

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/11493853_24

Mathematics Subject Classification ID

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

Related Items

Design and results of the first satisfiability modulo theories competition (SMT-COMP 2005)

Uses Software

• MiniSat
• Chaff