Translating pseudo-Boolean constraints into SAT
書誌事項
- 公開日
- 2006
収録刊行物
-
- J. Satisfiability, Boolean Modeling and Computation
-
J. Satisfiability, Boolean Modeling and Computation 2 1-26, 2006