AAAI Publications

Aavani, Amir, Simon Fraser University, Canada

• Tenth Symposium of Abstraction, Reformulation, and Approximation - Full Papers
  New Encoding for Translating Pseudo-Boolean Constraints into SAT
  Abstract  PDF