Propositional satisfiability and constraint programming : a comparative survey
Journal
-
- ACM Computing Surveys
-
ACM Computing Surveys 38 (4), 2006
- Tweet
Details 詳細情報について
-
- CRID
- 1570572701514398208
-
- NII Article ID
- 80018694595
-
- Data Source
-
- CiNii Articles