The following pages link to (Q3408146):
Displaying 4 items.
- HySAT: An efficient proof engine for bounded model checking of hybrid systems (Q883144) (← links)
- Efficient SAT-based proof search in intuitionistic propositional logic (Q2055856) (← links)
- Lifted structural invariant analysis of Petri net product lines (Q2096429) (← links)
- Theory and Applications of Satisfiability Testing (Q5714769) (← links)