2013年7月
PBSugar: Compiling Pseudo-Boolean Constraints to SAT with Order Encoding
The 4th International Workshop on Pragmatics of SAT
- ,
- ,
- 記述言語
- 英語
- 会議種別
- 口頭発表(一般)
- 主催者
- PoS
- 開催地
- University of Helsinki, Finland