Pages that link to "Item:Q1356218"
From MaRDI portal
The following pages link to Solving propositional satisfiability problems (Q1356218):
Displaying 50 items.
- Learning from conflicts in propositional satisfiability (Q427560) (← links)
- A weight-balanced branching rule for SAT (Q597527) (← links)
- Computing minimal models by partial instantiation (Q672131) (← links)
- A dual algorithm for the satisfiability problem (Q750165) (← links)
- Computational experience with an interior point algorithm on the satisfiability problem (Q753688) (← links)
- An efficient solver for weighted Max-SAT (Q933784) (← links)
- New updating criteria for conflict-based branching heuristics in DPLL algorithms for satisfiability (Q937398) (← links)
- Learning action models from plan examples using weighted MAX-SAT (Q1028900) (← links)
- Nonserial dynamic programming formulations of satisfiability (Q1099093) (← links)
- Resolution vs. cutting plane solution of inference problems: Some computational experience (Q1100093) (← links)
- A satisfiability tester for non-clausal propositional calculus (Q1111774) (← links)
- An efficient algorithm for the 3-satisfiability problem (Q1200758) (← links)
- Linear programs for constraint satisfaction problems (Q1278588) (← links)
- How good are branching rules in DPLL? (Q1281405) (← links)
- New methods for computing inferences in first order logic (Q1309900) (← links)
- An exact algorithm for the constraint satisfaction problem: Application to logical inference (Q1313760) (← links)
- Logic cuts for processing networks with fixed charges (Q1317071) (← links)
- Inference flexibility in Horn clause knowledge bases and the simplex method (Q1319393) (← links)
- Computing definite logic programs by partial instantiation (Q1326778) (← links)
- Easy problems are sometimes hard (Q1342226) (← links)
- Embedding complex decision procedures inside an interactive theorem prover. (Q1353946) (← links)
- Branch-and-cut solution of inference problems in propositional logic (Q1356213) (← links)
- Approximating minimal unsatisfiable subformulae by means of adaptive core search (Q1408373) (← links)
- On the limit of branching rules for hard random unsatisfiable 3-SAT (Q1408384) (← links)
- Backtracking tactics in the backtrack method for SAT (Q1596804) (← links)
- A cost-reducing question-selection algorithm for propositional knowledge-based systems (Q1776198) (← links)
- A complete adaptive algorithm for propositional satisfiability (Q1811072) (← links)
- Solving satisfiability problems using elliptic approximations -- effective branching rules (Q1841892) (← links)
- Tractable reasoning via approximation (Q1855213) (← links)
- A new algorithm for the propositional satisfiability problem (Q1894360) (← links)
- Running time experiments on some algorithms for solving propositional satisfiability problems (Q1897402) (← links)
- Branching rules for satisfiability (Q1904401) (← links)
- Many-valued logic and mixed integer programming (Q1924752) (← links)
- The \(Multi\)-SAT algorithm (Q1961449) (← links)
- Implementing the Davis-Putnam method (Q1977761) (← links)
- Separating signs in the propositional satisfiability problem (Q1977918) (← links)
- Number representation of satisfiability (Q1977919) (← links)
- On the complexity of choosing the branching literal in DPLL (Q1978252) (← links)
- Popularity-similarity random SAT formulas (Q2238712) (← links)
- Clause vivification by unit propagation in CDCL SAT solvers (Q2287199) (← links)
- Cutting to the chase. (Q2351157) (← links)
- Symbolic integration of logic in MILP branch and bound methods for the synthesis of process networks (Q2368099) (← links)
- Solving SAT problem by heuristic polarity decision-making algorithm (Q2465749) (← links)
- New tractable classes for default reasoning from conditional knowledge bases (Q2502153) (← links)
- What we can learn from conflicts in propositional satisfiability (Q2630816) (← links)
- Hard random 3-SAT problems and the Davis-Putnam procedure (Q2674184) (← links)
- Solving satisfiability using decomposition and the most constrained subproblem (Q2741535) (← links)
- The propositional formula checker HeerHugo (Q2749861) (← links)
- Implementing the Davis-Putnam method (Q2749864) (← links)
- Learning Rate Based Branching Heuristic for SAT Solvers (Q2818006) (← links)
