4047 search results - page 197 / 810 » Algebraic Model Checking |
131
Voted
TACAS
2004
Springer
15 years 11 months ago
2004
Springer
141
Voted
VMCAI
2004
Springer
15 years 11 months ago
2004
Springer
129
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
: Binary Decision Diagrams (BDDs) have been widely used in synthesis and verification. Boolean Satisfiability (SAT) Solvers, on the other hand, have been gaining