Gabriel Manolache

Learn More
Statement Hereby I confirm that this thesis is my own work and that I have documented all sources used. Herewith I agree that my thesis will be made available through the library of the Computer Science Department. iii Acknowledgments I would like to express my most profound gratitude to Dr. Holger Bast for giving me the chance to work in his research(More)
The problem of counting satisfiability, i.e. count the number of satisfying assignments for a SAT problem, is used successfully in a number of problems. For example, it can provide heuristics for guiding planning and search, where an estimation of the probability for a given search would help lead to a goal. Counting satisfiability is a valuable approach(More)
  • 1