Pages that link to "Item:Q2749861"
From MaRDI portal
The following pages link to The propositional formula checker HeerHugo (Q2749861):
Displaying 6 items.
- Approximating minimal unsatisfiable subformulae by means of adaptive core search (Q1408373) (← links)
- Efficient data structures for backtrack search SAT solvers (Q1777399) (← links)
- A complete adaptive algorithm for propositional satisfiability (Q1811072) (← links)
- The propositional formula checker HeerHugo (Q1977753) (← links)
- Extended resolution simulates binary decision diagrams (Q2478427) (← links)
- Exploiting the real power of unit propagation lookahead (Q2741514) (← links)