Pages that link to "Item:Q1098330"
From MaRDI portal
The following pages link to A structure-preserving clause form translation (Q1098330):
Displaying 14 items.
- Normal Form Nested Programs (Q5900402) (← links)
- Automated Deduction – CADE-19 (Q5900728) (← links)
- The resolution of Keller's conjecture (Q5918545) (← links)
- Combining enumeration and deductive techniques in order to increase the class of constructible infinite models (Q5927982) (← links)
- The resolution of Keller's conjecture (Q5970770) (← links)
- Minimizing the number of clauses by renaming (Q6488560) (← links)
- Enhancing SMT-based weighted model integration by structure awareness (Q6494358) (← links)
- Solving string constraints using SAT (Q6535533) (← links)
- Moving definition variables in quantified Boolean formulas (Q6535574) (← links)
- Range-restricted and Horn interpolation through clausal tableaux (Q6541142) (← links)
- Resolution calculi for non-normal modal logics (Q6541160) (← links)
- Deduction by combining semantic tableaux and integer programming (Q6560161) (← links)
- On enumerating short projected models (Q6657245) (← links)
- A \textit{DPLL} procedure with dichotomous branching for propositional product logic (Q6664542) (← links)