Pages that link to "Item:Q862403"
From MaRDI portal
The following pages link to Symbolic techniques in satisfiability solving (Q862403):
Displaying 5 items.
- A direct construction of polynomial-size OBDD proof of pigeon hole problem (Q987797) (← links)
- A deductive approach towards reasoning about algebraic transition systems (Q1666122) (← links)
- ProCount: weighted projected model counting with graded project-join trees (Q2118296) (← links)
- Propositional proof systems based on maximum satisfiability (Q2238728) (← links)
- ON OBDD-BASED ALGORITHMS AND PROOF SYSTEMS THAT DYNAMICALLY CHANGE THE ORDER OF VARIABLES (Q5148102) (← links)
