Solving propositional satisfiability problems
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3568056 (Why is no real title available?)
- A Computing Procedure for Quantification Theory
- A Human Oriented Logic for Automatic Theorem-Proving
- Linear-time algorithms for testing the satisfiability of propositional horn formulae
- Modelling with integer variables
- Probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem
- Solving Satisfiability with Less Searching
- Some results and experiments in programming techniques for propositional logic
- The complexity of theorem-proving procedures
Cited in
(73)- Computational experience with an interior point algorithm on the satisfiability problem
- A Pearl on SAT Solving in Prolog
- How good are branching rules in DPLL?
- SATRIX -- algorithms for Boolean satisfiability
- Propositional calculus problems in CHIP
- Branch-and-cut solution of inference problems in propositional logic
- A cost-reducing question-selection algorithm for propositional knowledge-based systems
- An efficient solver for weighted Max-SAT
- Computing definite logic programs by partial instantiation
- Learning rate based branching heuristic for SAT solvers
- DPLL: the core of modern satisfiability solvers
- Learning from conflicts in propositional satisfiability
- A dual algorithm for the satisfiability problem
- A Computational Study of Satisfiability Algorithms for Propositional Logic
- A satisfiability tester for non-clausal propositional calculus
- Approximating minimal unsatisfiable subformulae by means of adaptive core search
- Branching rules for satisfiability
- On satisfiability trees
- Exploiting data dependencies in many-valued logics
- An efficient algorithm for the 3-satisfiability problem
- Computing minimal models by partial instantiation
- Algorithms for testing the satisfiability of propositional formulae
- scientific article; zbMATH DE number 1737608 (Why is no real title available?)
- Logic cuts for processing networks with fixed charges
- Symbolic integration of logic in MILP branch and bound methods for the synthesis of process networks
- Inference flexibility in Horn clause knowledge bases and the simplex method
- New methods for computing inferences in first order logic
- Solving satisfiability using decomposition and the most constrained subproblem
- The \(Multi\)-SAT algorithm
- Separating signs in the propositional satisfiability problem
- Resolution vs. cutting plane solution of inference problems: Some computational experience
- Linear programs for constraint satisfaction problems
- Evaluating CDCL variable scoring schemes
- Embedding complex decision procedures inside an interactive theorem prover.
- Solving Satisfiability with Less Searching
- A simple effective heuristic for embedded mixed-integer quadratic programming
- Tractable reasoning via approximation
- Solving SAT problem by heuristic polarity decision-making algorithm
- Logic programming with satisfiability
- Exact algorithms for MAX-SAT
- Implementing the Davis-Putnam method
- Solving satisfiability problems using elliptic approximations -- effective branching rules
- The propositional formula checker HeerHugo
- Running time experiments on some algorithms for solving propositional satisfiability problems
- scientific article; zbMATH DE number 5575002 (Why is no real title available?)
- On the complexity of choosing the branching literal in DPLL
- A simple test improves checking satisfiability
- Implementing the Davis-Putnam method
- A complete adaptive algorithm for propositional satisfiability
- Hard random 3-SAT problems and the Davis-Putnam procedure
- Nonserial dynamic programming formulations of satisfiability
- An exact algorithm for the constraint satisfaction problem: Application to logical inference
- A new algorithm for the propositional satisfiability problem
- On exponential lower bounds for partially ordered resolution
- \textsc{ahmaxsat}: description and evaluation of a branch and bound Max-SAT solver
- New updating criteria for conflict-based branching heuristics in DPLL algorithms for satisfiability
- Backtracking tactics in the backtrack method for SAT
- Many-valued logic and mixed integer programming
- On the limit of branching rules for hard random unsatisfiable 3-SAT
- Learning action models from plan examples using weighted MAX-SAT
- A weight-balanced branching rule for SAT
- Easy problems are sometimes hard
- Cutting to the chase.
- Clause vivification by unit propagation in CDCL SAT solvers
- SAT 2005. Satisfiability Research in the Year 2005.
- scientific article; zbMATH DE number 799949 (Why is no real title available?)
- Introduction to propositional satisfiability
- Spatial state-action features for general games
- Popularity-similarity random SAT formulas
- New tractable classes for default reasoning from conditional knowledge bases
- SYSTEMATIC VERSUS LOCAL SEARCH AND GA TECHNIQUES FOR INCREMENTAL SAT
- What we can learn from conflicts in propositional satisfiability
- Simplifying clausal satisfiability problems
This page was built for publication: Solving propositional satisfiability problems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1356218)
