| 2002 |
|---|
| 3 | EE | Gilles Audemard,
Piergiorgio Bertoli,
Alessandro Cimatti,
Artur Kornilowicz,
Roberto Sebastiani:
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms, and Requirements.
AISC 2002: 231-245 |
| 2 | EE | Gilles Audemard,
Piergiorgio Bertoli,
Alessandro Cimatti,
Artur Kornilowicz,
Roberto Sebastiani:
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions.
CADE 2002: 195-210 |
| 1 | EE | Gilles Audemard,
Alessandro Cimatti,
Artur Kornilowicz,
Roberto Sebastiani:
Bounded Model Checking for Timed Systems.
FORTE 2002: 243-259 |
