Total Publications: 17

  • Learning Techniques for Pseudo-Boolean Solving and Optimization
    José Fragoso Santos, Instituto Superior Técnico, Universidade de Lisboa, Lisboa, Portugal, Thesis, October 2008