Pages that link to "Item:Q1100935"
From MaRDI portal
The following pages link to Embedding Boolean expressions into logic programming (Q1100935):
Displaying 22 items.
- On the complexity of Boolean unification (Q293360) (← links)
- Symbolic constraint handling through unification in finite algebras (Q757060) (← links)
- Unification in varieties of idempotent semigroups (Q1092171) (← links)
- Unification in commutative idempotent monoids (Q1111775) (← links)
- Unification in Boolean rings (Q1112626) (← links)
- Discriminator varieties and symbolic computation (Q1190748) (← links)
- Solving a cutting-stock problem with the constraint logic programming language CHIP (Q1197095) (← links)
- Constraint satisfaction using constraint logic programming (Q1204868) (← links)
- Unification problem in equational theories (Q1280985) (← links)
- Negative Boolean constraints (Q1350538) (← links)
- Boolean unification - the story so far (Q1824411) (← links)
- On equational theories, unification, and (un)decidability (Q1825184) (← links)
- Running time experiments on some algorithms for solving propositional satisfiability problems (Q1897402) (← links)
- Controlling the complexity in model-based diagnosis (Q1924811) (← links)
- Complexity assessments for decidable fragments of set theory. II: A taxonomy for `small' languages involving membership (Q2215960) (← links)
- Complexity assessments for decidable fragments of Set Theory. III: Testers for crucial, polynomial-maximal decidable Boolean languages (Q2697538) (← links)
- IMPLEMENTING COMPLEX DOMAINS OF APPLICATION IN AN EXTENDED PROLOG SYSTEM (Q3835050) (← links)
- The Evaluation and the Computational Complexity of Datalog Queries of Boolean Constraint Databases (Q3839873) (← links)
- Propositional calculus problems in CHIP (Q5096196) (← links)
- Ordered Binary Decision Diagrams and the Davis-Putnam procedure (Q5096299) (← links)
- Complexity Assessments for Decidable Fragments of Set Theory. I: A Taxonomy for the Boolean Case* (Q5158658) (← links)
- Goals and benchmarks for automated map reasoning (Q5927984) (← links)
