Pages that link to "Item:Q2651970"
From MaRDI portal
The following pages link to Solvable cases of the decision problem (Q2651970):
Displaying 50 items.
- Resolution proof transformation for compression and interpolation (Q479815) (← links)
- Solving constraint satisfaction problems with SAT modulo theories (Q487632) (← links)
- Relational completeness of query languages for annotated databases (Q532367) (← links)
- On reasoning about structural equality in XML: a description logic approach (Q555777) (← links)
- A completion procedure for conditional equations (Q758211) (← links)
- Logical equations in monadic logic (Q843613) (← links)
- Design and results of the first satisfiability modulo theories competition (SMT-COMP 2005) (Q861691) (← links)
- Deciding Boolean algebra with Presburger arithmetic (Q861705) (← links)
- Implication of clauses is undecidable (Q1110493) (← links)
- Complexity, convexity and combinations of theories (Q1141138) (← links)
- Solvable classes of pseudoprenex formulas (Q1147118) (← links)
- Quantifiers as modal operators (Q1150594) (← links)
- Complexity results for classes of quantificational formulas (Q1157324) (← links)
- The decision problem for database dependencies (Q1162832) (← links)
- Discriminator varieties and symbolic computation (Q1190748) (← links)
- Inferring the equivalence of functional programs that mutate data (Q1196301) (← links)
- A method for simultaneous search for refutations and models by equational constraint solving (Q1198235) (← links)
- The existential graphs (Q1202676) (← links)
- Program schemata and the first-order decision problem (Q1213300) (← links)
- The polynomial-time hierarchy (Q1236109) (← links)
- Program transformations and algebraic semantics (Q1254849) (← links)
- Set constraints in some equational theories (Q1271568) (← links)
- Generalized quantifiers and modal logic (Q1314283) (← links)
- SET-VAR (Q1319383) (← links)
- Towards automating duality (Q1343394) (← links)
- Effective use of Boolean satisfiability procedures in the formal verification of superscalar and VLIW microprocessors. (Q1426130) (← links)
- Discrete dualities for \(n\)-potent MTL-algebras and 2-potent BL-algebras (Q1697346) (← links)
- Parallelizing SMT solving: lazy decomposition and conciliation (Q1749390) (← links)
- Zero, successor and equality in BDDs (Q1772774) (← links)
- The small model property: How small can it be? (Q1854568) (← links)
- Thue trees (Q1861534) (← links)
- The equational theory of union-free algebras of relations (Q1894553) (← links)
- SGGS decision procedures (Q2096457) (← links)
- Model theory of monadic predicate logic with the infinity quantifier (Q2144617) (← links)
- Controlled query evaluation with open queries for a decidable relational submodel (Q2385449) (← links)
- Formal verification of synchronous data-flow program transformations toward certified compilers (Q2418653) (← links)
- Efficient theory combination via Boolean search (Q2432765) (← links)
- NuMDG: a new tool for multiway decision graphs construction (Q2434522) (← links)
- A randomized satisfiability procedure for arithmetic and uninterpreted function symbols (Q2486581) (← links)
- Building small equality graphs for deciding equality logic with uninterpreted functions (Q2490118) (← links)
- Embedded software verification using symbolic execution and uninterpreted functions (Q2506297) (← links)
- The decision problem for the logic of predicates and of operations (Q2545171) (← links)
- Mechanical theorem proving in a certain class of formulae of the predicate calculus (Q2559270) (← links)
- Turing-machines and the Entscheidungsproblem (Q2626083) (← links)
- Generalizing DPLL and satisfiability for equalities (Q2643080) (← links)
- HEINRICH BEHMANN’S 1921 LECTURE ON THE DECISION PROBLEM AND THE ALGEBRA OF LOGIC (Q2795296) (← links)
- Order-Sorted Rewriting and Congruence Closure (Q2811360) (← links)
- Generating Minimum Transitivity Constraints in P-time for Deciding Equality Logic (Q2864399) (← links)
- Model-based Theory Combination (Q2864402) (← links)
- Interpolation for first order S5 (Q3149986) (← links)
