Negative Boolean constraints

DOI10.1016/0304-3975(95)00209-XMaRDI QIDQ1350538zbMATH OpenFDO

Authors Kim Marriott, Martin Odersky

Publication date 27 February 1997

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

Full work available at URL https://doi.org/10.1016/0304-3975(95)00209-X

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Some new decidability results on positive and negative set constraints
• Constraints in non-Boolean contexts
• Advances in Databases and Information Systems
• Verification, Model Checking, and Abstract Interpretation
• scientific article; zbMATH DE number 2247681

Cites work

• Boolean unification - the story so far
• Complexity of Boolean algebras
• Embedding Boolean expressions into logic programming
• scientific article; zbMATH DE number 4061218 (Why is no real title available?)
• scientific article; zbMATH DE number 3654096 (Why is no real title available?)
• scientific article; zbMATH DE number 49082 (Why is no real title available?)
• scientific article; zbMATH DE number 3501560 (Why is no real title available?)
• Propositional calculus problems in CHIP
• Spatial query optimization: From Boolean constraints to range queries

Cited in

(9)

• Constructive negation of arithmetic constraints using dataflow graphs
• Negation in combining constraint systems
• Constraints in non-Boolean contexts
• The Evaluation and the Computational Complexity of Datalog Queries of Boolean Constraint Databases
• scientific article; zbMATH DE number 2104818 (Why is no real title available?)
• From LP to LP: Programming with constraints
• Negation-Limited Formulas.
• Systems of k Boolean inequations and a Boolean equation
• Deciding Boolean algebra with Presburger arithmetic

This page was built for publication: Negative Boolean constraints

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