851 search results - page 17 / 171 » Inaccessibility in Decision Procedures |
CAV
1998
Springer
15 years 2 months ago
1998
Springer
86
Voted
CADE
1997
Springer
15 years 2 months ago
1997
Springer
83
Voted
ICTL
1994
15 years 2 months ago
1994
This paper presents a temporal belief logic called
DAC
2010
ACM
15 years 2 months ago
2010
ACM
86
Voted
FROCOS
2009
Springer
15 years 2 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 ...