16091 search results - page 178 / 3219 » Solving |
202
Voted
ICCTA
2007
IEEE
15 years 7 months ago
2007
IEEE
79
Voted
IAT
2009
IEEE
15 years 7 months ago
2009
IEEE
103
Voted
CAV
2004
Springer
15 years 7 months ago
2004
Springer
167
Voted
ATVA
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...
122
Voted
DATE
2004
IEEE
15 years 7 months ago
2004
IEEE
We propose a new arithmetic reasoning calculus to speed up a SAT solver based on the Davis Putnam Longman Loveland (DPLL) procedure. It is based on an arithmetic bit level descrip...