Negative Boolean constraints

DOI10.1016/0304-3975(95)00209-XzbMath0872.68017MaRDI QIDQ1350538

Martin Odersky, Kim Marriott

Publication date: 27 February 1997

Published in: Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (4)

Deciding Boolean algebra with Presburger arithmetic ⋮ From LP to LP: Programming with constraints ⋮ The Evaluation and the Computational Complexity of Datalog Queries of Boolean Constraint Databases ⋮ Systems of k Boolean inequations and a Boolean equation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Embedding Boolean expressions into logic programming
• Complexity of Boolean algebras
• Boolean unification - the story so far
• Spatial query optimization: From Boolean constraints to range queries
• Propositional calculus problems in CHIP

This page was built for publication: Negative Boolean constraints