TY  - CONF
  - S. D. Prestwich, I. Lynce.
  - Ninth International Conference on Theory and Applications of Satisfiability Testing
  - Local Search for Unsatisfiability
  - 2006
  - August
  - Validated
  - 1
  - ()
DA  - 2006/08
ER  - 

@inproceedings{V26616826,
   = {S. D. Prestwich,  I. Lynce. },
   = {Ninth International Conference on Theory and Applications of Satisfiability Testing},
   = {{Local Search for Unsatisfiability}},
   = {2006},
   = {August},
   = {Validated},
   = {1},
   = {()},
  source = {IRIS}
}