IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 71
Titolo Data di pubblicazione Autore(i) File
Building decision procedures for modal logics from propositiional decision procedures - the case study of modal K(m) 1-gen-2000 Giunchiglia, Fausto; Sebastiani, Roberto
NuSMV Version 2: BDD-based + SAT-based Symbolic Model Checking 1-gen-2001 Cimatti, Alessandro; E., Giunchiglia; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto; A., Tacchella
Integrating SAT Solvers with Math Reasoners: Foundations and Basic Algorithms 1-gen-2001 Sebastiani, Roberto
Model Checking Syllabi and Student Careers 1-gen-2001 Sebastiani, Roberto; Alessandro, Tomasi; Giunchiglia, Fausto
Improving the encoding of LTL Model Checking into SAT 1-gen-2002 Cimatti, Alessandro; Pistore, Marco; Roveri, Marco; Sebastiani, Roberto
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 BDD-based and SAT-based Symbolic Model Checking 1-gen-2002 Cimatti, Alessandro; E., Giunchiglia; Roveri, Marco; Pistore, Marco; Sebastiani, Roberto; A., Tacchella
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
The MAthSAT Solver. A progress report 1-gen-2004 Bozzano, Marco; Cimatti, Alessandro; G., Colombini; V., Kirov; Sebastiani, Roberto
The MathSAT solver -- a progress report 1-gen-2004 Bozzano, Marco; Cimatti, Alessandro; Gabriele, Colombini; Veselin, Kirov; Sebastiani, Roberto
GSTE is partitioned Model Checking 1-gen-2004 Sebastiani, Roberto; Eli, Singerman; Tonetta, Stefano; Moshe, Vardi
The MathSAT Solver - a comparative evaluation 1-gen-2004 Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Sebastiani, Roberto
The Mathsat3 System 1-gen-2005 Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Tommi A., Junttila; Peter van, Rossum; Stephan Peter, Schulz; Sebastiani, Roberto
Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking 1-gen-2005 Sebastiani, Roberto; Tonetta, Stefano; Moshe, Vardi
MathSAT: Thigt Integration of SAT and Mathematical Decision Procedures 1-gen-2005 Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; T. A., Junttila; R., Peter van; S. P., Schulz; Sebastiani, Roberto
An Incremental and Layered Procedure for the Satisfiability of Linear Arithmetic Logic 1-gen-2005 Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; T. A., Junttila; Rossum Peter, Van; S. P., Schulz; Sebastiani, Roberto
Efficient Satisfiability Modulo Theories via Delayed Theory Combination 1-gen-2005 Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Tommi, Junttila; Ranise, Silvio; Peter van, Rossum; Sebastiani, Roberto
Mathsat: Tight Integration of SAT and Mathematical Decision Procedures 1-gen-2005 Bozzano, Marco; Bruttomesso, Roberto; Cimatti, Alessandro; Tommi, Junttila; Peter van, Rossum; Stephan, Schulz; Sebastiani, Roberto
Mostrati risultati da 21 a 40 di 71
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