scientific article; zbMATH DE number 5198533
From MaRDI portal
Publication:5309034
zbMath1129.68079MaRDI QIDQ5309034
Randal E. Bryant, Sanjit A. Seshia, K. Subramani and Vahan Mkrtchyan
Publication date: 9 October 2007
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
verificationoptimizationinteger linear programmingBoolean satisfiabilityconstraint satisfactionautomated theorem provingdecision proceduresunit two variable per inequality constraints
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (7)
Optimal length resolution refutations of difference constraint systems ⋮ Integer feasibility and refutations in UTVPI constraints using bit-scaling ⋮ General lower bounds and improved algorithms for infinite-domain CSPs ⋮ A combinatorial algorithm for Horn programs ⋮ A Bit-Scaling Algorithm for Integer Feasibility in UTVPI Constraints ⋮ On the complexities of selected satisfiability and equivalence queries over Boolean formulas and inclusion queries over hulls ⋮ Feasibility checking in Horn constraint systems through a reduction based approach
Uses Software
This page was built for publication:
