DMCA

Restoring Satisfiability or Maintaining Unsatisfiability by finding small Unsatisfiable Subformulae (2001)

Cached

Download Links

by R. Bruni , A. Sassano
Venue:In LICS Workshop on Theory and Applications of Satisfiability Testing
Citations:32 - 2 self