Sfoglia per Autore
MathSAT: Tight Integration of SAT and Mathematical Decision Procedures
2005-01-01 M., Bozzano; Bruttomesso, Roberto; Cimatti, Alessandro; T., Junttila; P., Van Rossum; S., Schulz; Sebastiani, Roberto
Verifying Industrial Hybrid Systems with MathSAT
2005-01-01 G., Audemard; M., Bozzano; Cimatti, Alessandro; Sebastiani, Roberto
Delayed Theory Combination vs. Nelson-Oppen for Satisfiability Modulo Theories: a Comparative Analysis
2006-01-01 Bruttomesso, Roberto; Cimatti, Alessandro; Franzén, Anders; Griggio, Alberto; Sebastiani, Roberto
To Ackermann-ize or not to Ackermann-ize? On Efficiently Handling Uninterpreted Function Symbols in SMT(EUF U T)
2006-01-01 Bruttomesso, Roberto; Cimatti, Alessandro; Franzén, Anders; Griggio, Alberto; Santuari, Alessandro; Sebastiani, Roberto
Formal analysis of hardware requirements
2006-01-01 Pill, I.; Semprini, S.; Cavada, R.; Roveri, M.; Bloem, R.; Cimatti, A.
Efficient theory combination via Boolean search
2006-01-01 Bozzano, M.; Bruttomesso, Roberto; Cimatti, Alessandro; Junttila, T.; Van Rossum, P.; Ranise, S.; Sebastiani, Roberto
Strong Planning under Partial Observability
2006-01-01 Bertoli, P.; Cimatti, A.; Roveri, M.; Traverso, P.
RAT: A tool for formal analysis of requirements
2006-01-01 Bloem, Roderick; Cimatti, Alessandro; Pill, Ingo; Roveri, Marco; Semprini, Simone; Tchaltsev, Andrei
Symbolic Implementation of Alternating Automata
2006-01-01 Bloem, R.; Cimatti, A.; Pill, I.; Roveri, M.; Semprini, S.
Building Efficient Decision Procedures on top of SAT solvers
2006-01-01 Cimatti, Alessandro; Sebastiani, Roberto
From PSL to NBA: a Modular Symbolic Encoding
2006-01-01 Cimatti, Alessandro; Roveri, Marco; Semprini, Simone; Tonetta, Stefano
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories
2007-01-01 Cimatti, Alessandro; Sebastiani, Roberto; Griggio, Alberto
Efficient Interpolant Generation in Satisfiability Modulo Theories
2007-01-01 Cimatti, Alessandro; Sebastiani, Roberto; Griggio, Alberto
Symbolic Implementation of Alternating Automata
2007-01-01 Bloem, Roderick; Cimatti, Alessandro; Pill, Ingo; Roveri, Marco
A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories
2007-01-01 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
Syntactic Optimizations for PSL Verification
2007-01-01 Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano
On-Board Autonomy via Symbolic Model Based Reasoning
2008-01-01 Bozzano, Marco; Cimatti, Alessandro; Guiotto, Andrea; Martelli, Andrea; Roveri, Marco; Tchaltsev, Andrei; Yushtein, Yuri
On Board Model Checking for Space Applications
2008-01-01 Cimatti, Alessandro; Guiotto, Andrea; Roveri, Marco
Efficient Interpolant Generation in Satisfiability Modulo Theories
2008-01-01 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
Object Models with Temporal Constraints
2008-01-01 Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano
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