TY  - GEN
  - Steven Prestwich
  - 2009 February
  - Handbook of Satisfiability
  - CNF Encodings
  - IOS Press
  - Netherlands
  - Published
  - 0
DA  - 2009 February/NaN
ER  - 

@misc{V32388448,
   = {Steven Prestwich },
   = {2009 February},
   = {Handbook of Satisfiability},
   = {CNF Encodings},
   = {{IOS Press}},
   = {Netherlands},
   = {Published},
   = {0},
  source = {IRIS}
}