Publications

An Empirical Study of Encodings for Group Maxsat

AuthID
P-00F-XC4

Author(s)

Heras, F

Morgado, A

Silva, JM

Editor(s)

Kosseim,L;Inkpen,D

Document Type

Proceedings Paper

Year published

2012

Published

in Advances in Artificial Intelligence - 25th Canadian Conference on Artificial Intelligence, Canadian AI 2012, Toronto, ON, Canada, May 28-30, 2012. Proceedings in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 7310, Pages: 85-96

Conference

25Th Canadian Conference on Artificial Intelligence, Ai 2012, Date: 28 May 2012 through 30 May 2012, Location: Toronto, ON, Sponsors: Canadian Artificial Intelligence Association (CAIAC);Concordia Univ., Fac. Eng. Comput. Sci., Dep.;Comput. Sci. Softw. Eng.;Palomino System Innovations Inc.;NLP Technologies

Indexing