The following pages link to Negative Boolean constraints (Q1350538):
Displaying 8 items.
- Deciding Boolean algebra with Presburger arithmetic (Q861705) (← links)
- Constructive negation of arithmetic constraints using dataflow graphs (Q1370977) (← links)
- Negation in combining constraint systems (Q2782487) (← links)
- Constraints in non-Boolean contexts (Q2909151) (← 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)
- Negation-Limited Formulas. (Q5351939) (← links)
- Systems of k Boolean inequations and a Boolean equation (Q5864816) (← links)