Picture for Maria Paola Bonacina

Maria Paola Bonacina

Università degli Studi di Verona, Italy

Proof Generation in CDSAT

Add code
Jul 06, 2021
Viaarxiv icon

On First-Order Model-Based Reasoning

Add code
Jul 31, 2015
Figure 1 for On First-Order Model-Based Reasoning
Figure 2 for On First-Order Model-Based Reasoning
Viaarxiv icon

New results on rewrite-based satisfiability procedures

Add code
Jun 01, 2008
Figure 1 for New results on rewrite-based satisfiability procedures
Figure 2 for New results on rewrite-based satisfiability procedures
Figure 3 for New results on rewrite-based satisfiability procedures
Figure 4 for New results on rewrite-based satisfiability procedures
Viaarxiv icon