鈥淓fficient Algorithms for Finding All Satisfying Assignments of a Propositional Formula,鈥 2005.