Sfoglia per Autore Audemard, Gilles
Mostrati risultati da 1 a 4 di 4
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions
2002-01-01 Audemard, Gilles; Bertoli, Piergiorgio; Cimatti, Alessandro; Kornilowicz, Artur; Sebastiani, Roberto
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements
2002-01-01 Audemard, Gilles; Bertoli, Piergiorgio; Cimatti, Alessandro; Kornilowicz, Artur; Sebastiani, Roberto
Bounded Model Checking for Timed Systems
2002-01-01 Audemard, Gilles; Cimatti, Alessandro; Kornilowicz, Artur; Sebastiani, Roberto
Verifying Industrial Hybrid Systems with MathSAT
2003-01-01 Audemard, Gilles; Bozzano, Marco; Cimatti, Alessandro; Sebastiani, Roberto
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A SAT Based Approach for Solving Formulas over Boolean and Linear Mathematical Propositions | 1-gen-2002 | Audemard, Gilles; Bertoli, Piergiorgio; Cimatti, Alessandro; Kornilowicz, Artur; Sebastiani, Roberto | |
Integrating Boolean and Mathematical Solving: Foundations, Basic Algorithms and Requirements | 1-gen-2002 | Audemard, Gilles; Bertoli, Piergiorgio; Cimatti, Alessandro; Kornilowicz, Artur; Sebastiani, Roberto | |
Bounded Model Checking for Timed Systems | 1-gen-2002 | Audemard, Gilles; Cimatti, Alessandro; Kornilowicz, Artur; Sebastiani, Roberto | |
Verifying Industrial Hybrid Systems with MathSAT | 1-gen-2003 | Audemard, Gilles; Bozzano, Marco; Cimatti, Alessandro; Sebastiani, Roberto |
Mostrati risultati da 1 a 4 di 4
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile