Bibliography

1

G. Audemard, P. Bertoli, A. Cimatti, A. Korniowicz, and R. Sebastiani.
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions.
In Proc. CADE'2002., number 2392 in LNAI. Springer Verlag, July 2002.

2

G. Audemard, P. Bertoli, A. Cimatti, A. Korniowicz, and R. Sebastiani.
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements.
In Artificial Intelligence, Automated Reasoning, and Symbolic Computation, number 2385 in LNAI. Springer Verlag, June 2002.

3

G. Audemard, A. Cimatti, A. Korniowicz, and R. Sebastiani.
SAT-Based Bounded Model Checking for Timed Systems.
In Proc. FORTE'02., LNCS. Springer Verlag, January 2002.
To appear.

4

A. Cimatti, E. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani, and A. Tacchella.
NuSMV Version 2: BDD-based + SAT-based symbolic model checking.
In Proc. CAV'02, number 2404 in LNCS. Springer Verlag, 2002.

5

A. Cimatti, M. Pistore, M. Roveri, and R. Sebastiani.
Improving the Encoding of LTL Model Checking into SAT.
In Verification, Model Checking and Abstract Interpretation, VMCAI'02, volume 2294 of LNCS. Springer Verlag, january 2002.

6

E. Giunchiglia, F. Giunchiglia, R. Sebastiani, and A. Tacchella.
More evaluation of decision procedures for modal logics.
In Proc. Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Trento, Italy, 1998.
Also ITC-IRST Technical Report n. 9712-02.

7

E. Giunchiglia, F. Giunchiglia, R. Sebastiani, and A. Tacchella.
SAT vs. Translation based decision procedures for modal logics: a comparative evaluation.
Journal of Applied Non-Classical Logics, 10(2):145-172, 2000.

8

E. Giunchiglia, A. Massarotto, and R. Sebastiani.
Act, and the Rest Will Follow: Exploiting Determinism in Planning as Satisfiability.
In Proc. AAAI'98, pages 948-953, 1998.

9

E. Giunchiglia and R. Sebastiani.
Applying the Davis-Putnam procedure to non-clausal formulas.
In Advances in Artificial Intelligence, Proc. AI*IA'99, number 1792 in LNAI. Springer Verlag, 1999.

10

F. Giunchiglia and R. Sebastiani.
A SAT-based decision procedure for ALC.
In Proc. of the 5th International Conference on Principles of Knowledge Representation and Reasoning - KR'96, Cambridge, MA, USA, November 1996.

11

F. Giunchiglia and R. Sebastiani.
Building decision procedures for modal logics from propositional decision procedures - the case study of modal K(m).
Information and Computation, 162(1/2), October/November 2000.

12

R. Sebastiani.
Applying GSAT to Non-Clausal Formulas.
Journal of Artificial Intelligence Research, 1:309-314, 1994.

13

R. Sebastiani and A. Villafiorita.
SAT-based decision procedures for normal modal logics: a theoretical framework.
In Artificial Intelligence: Methodology, Systems, Applications - AIMSA'98, number 1480 in LNAI. Springer Verlag, 1998.

See also Roberto Sebastiani's Publication List