Translating Pseudo-Boolean Constraints into SAT
書誌事項
- 公開日
- 2006
収録刊行物
-
- Journal on Satisfiability, Boolean Modeling and Computation
-
Journal on Satisfiability, Boolean Modeling and Computation 2 1-26, 2006