Publication:5309034
From MaRDI portal
zbMath1129.68079MaRDI QIDQ5309034
Sanjit A. Seshia, K. Subramani and Vahan Mkrtchyan, Randal E. Bryant
Publication date: 9 October 2007
verification; optimization; integer linear programming; Boolean satisfiability; constraint satisfaction; automated theorem proving; decision procedures; unit two variable per inequality constraints
90C05: Linear programming
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
Optimal length resolution refutations of difference constraint systems, On the complexities of selected satisfiability and equivalence queries over Boolean formulas and inclusion queries over hulls, A combinatorial algorithm for Horn programs
Uses Software