1996 search results - page 22 / 400 » A decision procedure for linear |
170
click to vote
ICTL
1994
15 years 10 months ago
1994
This paper presents a temporal belief logic called
DAC
2010
ACM
15 years 10 months ago
2010
ACM
159
click to vote
FROCOS
2009
Springer
15 years 10 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 ...