The following pages link to Negative Boolean constraints (Q1350538):
Displayed 4 items.
- Deciding Boolean algebra with Presburger arithmetic (Q861705) (← links)
- The Evaluation and the Computational Complexity of Datalog Queries of Boolean Constraint Databases (Q3839873) (← links)
- From LP to LP: Programming with constraints (Q5096231) (← links)
- Systems of k Boolean inequations and a Boolean equation (Q5864816) (← links)