Translating pseudo-Boolean constraints into SAT
収録刊行物
-
- J. Satisfiability, Boolean Modeling and Computation
-
J. Satisfiability, Boolean Modeling and Computation 2 1-26, 2006