Resolution versus search: Two strategies for SAT
From MaRDI portal
Recommendations
Cited in
(20)- Resolution versus search: Two strategies for SAT
- Resolution in solving graph problems
- Statistical regimes across constrainedness regions
- SatEx: A web-based framework for SAT experimentation
- Making assumptions in the automated derivation
- Mixed deterministic and probabilistic networks
- Dynamic Management of Heuristics for Solving Structured CSPs
- Visualizing SAT instances and runs of the DPLL algorithm
- Topological parameters for time-space tradeoff
- A comparison between SAT and CSP techniques
- scientific article; zbMATH DE number 2084754 (Why is no real title available?)
- A logical approach to efficient Max-SAT solving
- Partition-based logical reasoning for first-order and propositional theories
- A satisfiability procedure for quantified Boolean formulae
- AND/OR search spaces for graphical models
- AND/OR branch-and-bound search for combinatorial optimization in graphical models
- Learning to integrate deduction and search in reasoning about quantified Boolean formulas
- The language of search
- Advances in Artificial Intelligence
- Memory intensive AND/OR search for combinatorial optimization in graphical models
This page was built for publication: Resolution versus search: Two strategies for SAT
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1977760)
