Renato Bruni, Antonio Sassano
Restoring Satisfiability or Maintaining Unsatisfiability by finding small Unsatisfiable Subformulae
ICST, 2001.
@article{SAT-2001-BruniS,
author = "Renato Bruni and Antonio Sassano",
doi = "10.1016/S1571-0653(04)00320-8",
journal = "{Electronic Notes in Discrete Mathematics}",
pages = "162--173",
title = "{Restoring Satisfiability or Maintaining Unsatisfiability by finding small Unsatisfiable Subformulae}",
volume = 9,
year = 2001,
}