@inbook{darwiche09complete,
  author =	 "Adnan Darwiche and Knot Pipatsrisawat",
  title =	"Complete Algorithms",
  booktitle =  "Handbook of Satisfiability",
  chapter =	 "3",
  pages =	 "99--130",
  publisher =	 "IOS Press",
  year =	 2009,
  editor = "Armin Biere and Marijn Heule and Hans van Maaren and Toby Walsh"
}