Pages that link to "Item:Q2232607"
From MaRDI portal
The following pages link to Improved algorithms for the general exact satisfiability problem (Q2232607):
Displaying 7 items.
- Algorithms for four variants of the exact satisfiability problem (Q596105) (← links)
- An algorithm for exact satisfiability analysed with the number of clauses as parameter (Q1045885) (← links)
- New algorithms for exact satisfiability (Q1770407) (← links)
- Improvements to Hybrid Incremental SAT Algorithms (Q3502706) (← links)
- Better Algorithms for Satisfiability Problems for Formulas of Bounded Rank-width (Q4914311) (← links)
- Improving Unsatisfiability-Based Algorithms for Boolean Optimization (Q4930588) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705953) (← links)