Sara Bernardini

List of publications from the DBLP Bibliography Server - FAQ

2004

2 EE Marco Benedetti, Sara Bernardini: Incremental Compilation-to-SAT Procedures. SAT 2004

1 EE Marco Benedetti, Sara Bernardini: Incremental Compilation-to-SAT Procedures. SAT (Selected Papers 2004: 46-58

2004
2	EE	Marco Benedetti, Sara Bernardini: Incremental Compilation-to-SAT Procedures. SAT 2004
1	EE	Marco Benedetti, Sara Bernardini: Incremental Compilation-to-SAT Procedures. SAT (Selected Papers 2004: 46-58

Coauthor Index