Sfoglia per Rivista ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
Mostrati risultati da 1 a 5 di 5
Efficient generation of craig interpolants in satisfiability modulo theories
2010-01-01 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions
2018-01-01 Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison
2019-01-01 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.; Sala, P.
New results on rewrite-based satisfiability procedures
2009-01-01 Armando, Alessandro; M. P., Bonacina; Ranise, Silvio; S., Schulz
Quantifier-free interpolation in combinations of equality interpolating theories
2014-01-01 Bruttomesso, R.; Ghilardi, S.; Ranise, Silvio
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Efficient generation of craig interpolants in satisfiability modulo theories | 1-gen-2010 | Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto | |
Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions | 1-gen-2018 | Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto | |
Interval vs. Point Temporal Logic Model Checking: an Expressiveness Comparison | 1-gen-2019 | Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.; Sala, P. | |
New results on rewrite-based satisfiability procedures | 1-gen-2009 | Armando, Alessandro; M. P., Bonacina; Ranise, Silvio; S., Schulz | |
Quantifier-free interpolation in combinations of equality interpolating theories | 1-gen-2014 | Bruttomesso, R.; Ghilardi, S.; Ranise, Silvio |
Mostrati risultati da 1 a 5 di 5
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