The inequality-satisfiability problem

DOI10.1016/J.ORL.2007.05.005MaRDI QIDQ935232zbMATH OpenOpenAlexFDO

Authors Dorit S. Hochbaum, Erick Moreno-Centeno

Publication date 6 August 2008

Published in Operations Research Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.orl.2007.05.005

zbMATH Keywords

inequality-satisfiabilityor-inequalitiesparting directionssatisfiability (SAT)

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

Recommendations

• A simplified NP-complete satisfiability problem
• The Inverse Satisfiability Problem
• The complexity of satisfiability problems
• scientific article; zbMATH DE number 496040
• A simplified NP-complete MAXSAT problem

Cites work

• scientific article; zbMATH DE number 4089320 (Why is no real title available?)
• Mould design with sweep operations --- a heuristic search approach
• On the Complexity of Timetable and Multicommodity Flow Problems
• On the complexity of computing the measure of ∪[a _i ,b _i ]

This page was built for publication: The inequality-satisfiability problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q935232)