2013年7月
System Architecture and Implementation of a Prototyping Tool for SAT-based Constraint Programming Systems
The 4th International Workshop on Pragmatics of SAT
- ,
- ,
- ,
- ,
- 記述言語
- 英語
- 会議種別
- 口頭発表(一般)
- 主催者
- PoS
- 開催地
- University of Helsinki, Finland