Dettaglio pubblicazione

2000, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Pages 495-499

Finding minimal unsatisfiable subformulae in satisfiability instances (02a Capitolo o Articolo)

Bruni R., Sassano A.

DOI: 10.1007/3-540-45349-0_37

ISBN: 978-3-540-41053-9...

keywords