Pages that link to "Item:Q5613969"
From MaRDI portal
The following pages link to A Computing Procedure for Quantification Theory (Q5613969):
Displayed 50 items.
- Group cancellation and resolution (Q817703) (← links)
- An improved upper bound for SAT (Q820534) (← links)
- Proof complexity of modal resolution (Q832717) (← links)
- A comparative runtime analysis of heuristic algorithms for satisfiability problems (Q835804) (← links)
- Formalization and implementation of modern SAT solvers (Q839035) (← links)
- SAT-solving in practice, with a tutorial example from supervisory control (Q843991) (← links)
- Substitutions into propositional tautologies (Q845921) (← links)
- Density condensation of Boolean formulas (Q860385) (← links)
- Heuristic-based backtracking relaxation for propositional satisfiability (Q862398) (← links)
- Exponential lower bounds for the running time of DPLL algorithms on satisfiable formulas (Q862399) (← links)
- Backdoor sets for DLL subsolvers (Q862400) (← links)
- Symbolic techniques in satisfiability solving (Q862403) (← links)
- Fast congruence closure and extensions (Q876046) (← links)
- The disconnection tableau calculus (Q877889) (← links)
- Defining answer classes using resolution refutation (Q881832) (← links)
- Optimization techniques for Craig interpolant compaction in unbounded model checking (Q888467) (← links)
- Algorithms solving the matching cut problem (Q897900) (← links)
- Completeness of resolution revisited (Q914411) (← links)
- An incremental method for generating prime implicants/implicates (Q917336) (← links)
- Probabilistic analysis of a generalization of the unit-clause literal selection heuristics for the k-satisfiability problem (Q918700) (← links)
- Probabilistic bounds and algorithms for the maximum satisfiability problem (Q920845) (← links)
- Formula dissection: A parallel algorithm for constraint satisfaction (Q931750) (← links)
- Bounded list injective homomorphism for comparative analysis of protein-protein interaction graphs (Q935835) (← links)
- New updating criteria for conflict-based branching heuristics in DPLL algorithms for satisfiability (Q937398) (← links)
- Thread-parallel integrated test pattern generator utilizing satisfiability analysis (Q987743) (← links)
- A generative power-law search tree model (Q1010292) (← links)
- Learning action models from plan examples using weighted MAX-SAT (Q1028900) (← links)
- Resolution for Max-SAT (Q1028942) (← links)
- Labelled splitting (Q1037396) (← links)
- \texttt{SymChaff}: Exploiting symmetry in a structure-aware satisfiability solver (Q1037644) (← links)
- First order Stålmarck. Universal lemmas through branch merges (Q1040785) (← links)
- Theory decision by decomposition (Q1041591) (← links)
- Automated theorem proving methods (Q1057850) (← links)
- Condensed detachment as a rule of inference (Q1060210) (← links)
- Efficient algorithms for combinatorial problems on graphs with bounded decomposability - a survey (Q1062758) (← links)
- The intractability of resolution (Q1071750) (← links)
- Polynomial-average-time satisfiability problems (Q1095678) (← links)
- Resolution vs. cutting plane solution of inference problems: Some computational experience (Q1100093) (← links)
- Inconsistency check of a set of clauses using Petri net reductions (Q1100906) (← links)
- Some results and experiments in programming techniques for propositional logic (Q1100931) (← links)
- A parallel approach for theorem proving in propositional logic (Q1102766) (← links)
- A satisfiability tester for non-clausal propositional calculus (Q1111774) (← links)
- Probabilistic performance of a heurisic for the satisfiability problem (Q1115189) (← links)
- Stratification and knowledge base management (Q1122994) (← links)
- Logic applied to integer programming and integer programming applied to logic (Q1130078) (← links)
- Backtracking with multi-level dynamic search rearrangement (Q1138385) (← links)
- A switching algorithm for the solution of quadratic Boolean equations (Q1153123) (← links)
- Solving the satisfiability problem by using randomized approach (Q1190510) (← links)
- Tseitin's formulas revisited (Q1193906) (← links)
- Complexity of resolution proofs and function introduction (Q1194246) (← links)