The following pages link to (Q5593816):
Displayed 50 items.
- On the query complexity of selecting minimal sets for monotone predicates (Q253999) (← links)
- A pearl on SAT and SMT solving in Prolog (Q428887) (← links)
- Disjunctive closures for knowledge compilation (Q460617) (← links)
- Mining top-\(k\) motifs with a SAT-based framework (Q511756) (← links)
- On the complexity of cutting-plane proofs (Q580175) (← links)
- Extended clause learning (Q622116) (← links)
- Tractability of cut-free Gentzen type propositional calculus with permutation inference (Q672046) (← links)
- Extension without cut (Q714731) (← links)
- Efficient suspect selection in unreachable state diagnosis (Q722099) (← links)
- Average time analyses of simplified Davis-Putnam procedures (Q787685) (← links)
- On finding short resolution refutations and small unsatisfiable subsets (Q820148) (← links)
- Resolution over linear equations and multilinear proofs (Q952492) (← links)
- Finding a tree structure in a resolution proof is NP-complete (Q1019749) (← links)
- Resolution vs. cutting plane solution of inference problems: Some computational experience (Q1100093) (← links)
- A satisfiability tester for non-clausal propositional calculus (Q1111774) (← links)
- Optimizing propositional calculus formulas with regard to questions of deducibility (Q1117918) (← links)
- Turning cycles into spirals (Q1295442) (← links)
- On average time hierarchies (Q1313704) (← links)
- Resolution and binary decision diagrams cannot simulate each other polynomially (Q1408378) (← links)
- Lean clause-sets: Generalizations of minimally unsatisfiable clause-sets (Q1408381) (← links)
- Equivalent literal propagation in the DLL procedure (Q1408382) (← links)
- Minimal sets on propositional formulae. Problems and reductions (Q1677431) (← links)
- Lower bound on average-case complexity of inversion of Goldreich's function by drunken backtracking algorithms (Q1678752) (← links)
- Time-expanded graph-based propositional encodings for makespan-optimal solving of cooperative path finding problems (Q1688718) (← links)
- Generalized probabilistic satisfiability (Q1744442) (← links)
- Intra- and interdiagram consistency checking of behavioral multiview models (Q1749133) (← links)
- The complexity of error metrics (Q1799556) (← links)
- Streams and strings in formal proofs. (Q1853510) (← links)
- Space bounds for resolution (Q1854472) (← links)
- On the complexity of resolution with bounded conjunctions (Q1885907) (← links)
- Short resolution proofs for a sequence of tricky formulas (Q1924995) (← links)
- New methods for 3-SAT decision and worst-case analysis (Q1960406) (← links)
- The \(Multi\)-SAT algorithm (Q1961449) (← links)
- On a generalization of extended resolution (Q1961452) (← links)
- Recognition of tractable satisfiability problems through balanced polynomial representations (Q1962045) (← links)
- Near-optimal lower bounds on regular resolution refutations of Tseitin formulas for all constant-degree graphs (Q1983330) (← links)
- Resolution with counting: dag-like lower bounds and different moduli (Q2029775) (← links)
- Reversible pebble games and the relation between tree-like and general resolution space (Q2033469) (← links)
- On tseitin formulas, read-once branching programs and treewidth (Q2043884) (← links)
- Davis and Putnam meet Henkin: solving DQBF with resolution (Q2118283) (← links)
- Hardness and optimality in QBF proof systems modulo NP (Q2118289) (← links)
- Characterizing Tseitin-formulas with short regular resolution refutations (Q2118291) (← links)
- Propositional proof systems based on maximum satisfiability (Q2238728) (← links)
- On propositional coding techniques for the distinguishability of objects in finite sets (Q2272883) (← links)
- Definability for model counting (Q2303508) (← links)
- Resolution over linear equations modulo two (Q2334112) (← links)
- Expansion-based QBF solving versus Q-resolution (Q2339467) (← links)
- Bigraphs with sharing (Q2339468) (← links)
- On an MCS-based inconsistency measure (Q2374545) (← links)
- Local and global symmetry breaking in itemset mining (Q2398272) (← links)