Sfoglia per Autore
Mostrati risultati da 1 a 9 di 9
Robotics and Disabilities
2003-01-01 Carlucci Aiello, Luigia; Benedetti, Marco; Bernardini, Sara
Bounded Model Checking for past LTL
2003-01-01 Benedetti, Marco; Cimatti, Alessandro
sKizzo: A Suite to Evaluate and Certify QBFs
2004-01-01 Benedetti, Marco
SAT-Based Cooperative Planning: A Proposal
2004-01-01 Benedetti, Marco; Carlucci Aiello, Luigia
Incremental Compilation-to-SAT Procedures
2005-01-01 Benedetti, Marco; Bernardini, Sara
Hybrid Evaluation Procedures for QBF
2005-01-01 Benedetti, Marco
Quantifier Trees for QBFs
2005-01-01 Benedetti, Marco
Evaluating QBFs via Symbolic Skolemization
2005-01-01 Benedetti, Marco
Extracting Certificates from Quantified Boolean Formulas
2005-01-01 Benedetti, Marco
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Robotics and Disabilities | 1-gen-2003 | Carlucci Aiello, Luigia; Benedetti, Marco; Bernardini, Sara | |
Bounded Model Checking for past LTL | 1-gen-2003 | Benedetti, Marco; Cimatti, Alessandro | |
sKizzo: A Suite to Evaluate and Certify QBFs | 1-gen-2004 | Benedetti, Marco | |
SAT-Based Cooperative Planning: A Proposal | 1-gen-2004 | Benedetti, Marco; Carlucci Aiello, Luigia | |
Incremental Compilation-to-SAT Procedures | 1-gen-2005 | Benedetti, Marco; Bernardini, Sara | |
Hybrid Evaluation Procedures for QBF | 1-gen-2005 | Benedetti, Marco | |
Quantifier Trees for QBFs | 1-gen-2005 | Benedetti, Marco | |
Evaluating QBFs via Symbolic Skolemization | 1-gen-2005 | Benedetti, Marco | |
Extracting Certificates from Quantified Boolean Formulas | 1-gen-2005 | Benedetti, Marco |
Mostrati risultati da 1 a 9 di 9
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