Dettaglio pubblicazione
2001, ELECTRONIC NOTES IN DISCRETE MATHEMATICS, Pages 162-173 (volume: 9)
Restoring satisfiability or maintaining unsatisfiability by finding small unsatisfiable subformulae (01a Articolo in rivista)
Bruni Renato, Sassano Antonio
keywords