Pages that link to "Item:Q5325870"
From MaRDI portal
The following pages link to Theory and Applications of Satisfiability Testing (Q5325870):
Displaying 7 items.
- SAT-based local improvement for finding tree decompositions of small width (Q1680268) (← links)
- Davis and Putnam meet Henkin: solving DQBF with resolution (Q2118283) (← links)
- Counting truth assignments of formulas of bounded tree-width or clique-width (Q2473047) (← links)
- Decomposing SAT Instances with Pseudo Backbones (Q3304190) (← links)
- Recognition of Nested Gates in CNF Formulas (Q3453230) (← links)
- Exploiting Tree Decomposition for Guiding Neighborhoods Exploration for VNS (Q4921890) (← links)
- A SAT Approach to Branchwidth (Q4972153) (← links)