@article{457461,
      recid = {457461},
      author = {Biere, Armin.},
      title = {Handbook of satisfiability [electronic resource] /},
      publisher = {IOS Press,},
      address = {Amsterdam, The Netherlands ;},
      pages = {xiii, 966 p. :},
      year = {2009},
      url = {http://library.usi.edu/record/457461},
}