2272 search results - page 141 / 455 » A Calculus for |
141
click to vote
ESSLLI
1999
Springer
15 years 8 months ago
1999
Springer
Abstract. The main purpose of this paper is to present a new algorithm (NEWSAT) for deciding the (un)satisfiability of propositional formulae. It is based on a somehow dual (versu...
125
Voted
TOOLS
1999
IEEE
15 years 8 months ago
1999
IEEE
164
click to vote
FOSSACS
1999
Springer
15 years 8 months ago
1999
Springer
This paper presents a mu-calculus-based modal logic for describing properties of reactive probabilistic labeled transition systems (RPLTSs) and develops a modelchecking algorithm ...
111
Voted
ICALP
1998
Springer
15 years 8 months ago
1998
Springer
