Embedding Boolean expressions into logic programming
From MaRDI portal
Publication:1100935
DOI10.1016/S0747-7171(87)80065-2zbMath0641.68148MaRDI QIDQ1100935
Helmut Simonis, Wolfram Buettner
Publication date: 1987
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
03G05: Logical aspects of Boolean algebras
Related Items
Goals and benchmarks for automated map reasoning, Discriminator varieties and symbolic computation, Solving a cutting-stock problem with the constraint logic programming language CHIP, Constraint satisfaction using constraint logic programming, Unification problem in equational theories, Negative Boolean constraints, Running time experiments on some algorithms for solving propositional satisfiability problems, Controlling the complexity in model-based diagnosis, The Evaluation and the Computational Complexity of Datalog Queries of Boolean Constraint Databases