851 search results - page 17 / 171 » Inaccessibility in Decision Procedures |
CAV
1998
Springer
13 years 11 months ago
1998
Springer
CADE
1997
Springer
13 years 11 months ago
1997
Springer
ICTL
1994
13 years 11 months ago
1994
This paper presents a temporal belief logic called
DAC
2010
ACM
13 years 11 months ago
2010
ACM
FROCOS
2009
Springer
13 years 11 months ago
2009
Springer
In recent years, the problem of extracting a MUS (Minimal Unsatisfiable Subformula) from an unsatisfiable CNF has received much attention. Indeed, when a Boolean formula is proved ...