Implementing Efficient All Solutions SAT Solvers
applying formal methods to networking : theory , techniques , and applications .