Aree di ricerca coinvolte dal progetto | |
---|---|
Intelligenza Artificiale
Artificial intelligence |
Titolo | Autori | Anno |
---|---|---|
Interpolation systems for ground proofs in automated deduction: a survey | Bonacina, Maria Paola; Moa, Johansson | 2015 |
On interpolation in automated theorem proving | Bonacina, Maria Paola; Moa, Johansson | 2015 |
Canonical ground Horn theories | Bonacina, Maria Paola; Nachum, Dershowitz | 2013 |
On deciding satisfiability by theorem proving with speculative inferences | Bonacina, Maria Paola; Christopher A., Lynch; Leonardo de, Moura | 2011 |
Towards interpolation in an SMT solver with integrated superposition | Bonacina, Maria Paola; Moa, Johansson | 2011 |
On theorem proving for program checking - Historical perspective and recent developments | Bonacina, Maria Paola | 2010 |
Theory decision by decomposition | Bonacina, Maria Paola; Mnacho, Echenim | 2010 |
******** CSS e script comuni siti DOL - frase 9957 ********p>