Searching for "Boolean inequations." – sorted by Relevance.
22 documents found, showing 1 through 10.
Next 10 →
-
A Davis-Putnam Based Enumeration Algorithm for Linear Pseudo-Boolean Optimization
- … pseudo-Boolean (or 0-1) inequalities. We extend the method to solve linear 0-1 optimization problems, i…
- Cited by 92 (1 self) – Add To MetaCart
-
Linear 0-1 Inequalities and Extended Clauses
- … definitions and introduce extended clauses and the pseudo-Boolean normal form of linear 0-1 inequalities. We…
- Add To MetaCart
-
The Evaluation and the Computational Complexity of Datalog Queries of Boolean Constraint Databases
- … that Stratified Datalog queries with equality and inequality constraints in atomless Boolean algebras can…
- Cited by 2 (2 self) – Add To MetaCart
-
Generating Weighted Transversals of a Hypergraph
- … inequalities of extremal set theory and threshold Boolean logic, which may be of independent interest…
- Cited by 5 (4 self) – Add To MetaCart
-
Negative Boolean Constraints
- … Boolean inequations suffice to complete all possible syllogistic moods, and thus complete Aristotelian…
- Cited by 16 (0 self) – Add To MetaCart
-
Dual-Bounded Generating Problems: Weighted Transversals of a Hypergraph
- … the minimal Boolean solutions to a given system of non-negative linear inequalities and the generation of all…
- Cited by 1 (1 self) – Add To MetaCart
-
Exponential lower bounds and Integrality Gaps for Tree-like Lovász-Schrijver Procedures
- … for tightening linear relaxations of zero-one programs by the addition of new linear inequalities. We address…
- Add To MetaCart
-
Combining satisfiability techniques from AI and OR
- … _ _ xn can be equivalently written as a linear pseudo-Boolean inequality. x 0 + x 1 + + xn 1…
- Cited by 2 (0 self) – Add To MetaCart
-
Finite Domain and Cutting Plane Techniques in CLP(PB)
- … of concurrent constraint logic programming. 1. A linear pseudo-Boolean inequality c T x ffi is entailed by C…
- Cited by 4 (2 self) – Add To MetaCart
-
FPGA-area Allocation for Partial Run-Time Reconfiguration
- … in the minimization objective function. The system of linear pseudo-Boolean inequalities of the linear programming…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
