Publications

Clause Sharing in Parallel Maxsat

AuthID
P-008-6X2

Author(s)

Martins, R

Manquinho, V

Lynce, I

Editor(s)

Hamadi,Y;Schoenauer,M

Document Type

Proceedings Paper

Year published

2012

Published

in Learning and Intelligent Optimization - 6th International Conference, LION 6, Paris, France, January 16-20, 2012, Revised Selected Papers in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 7219, Pages: 455-460

Conference

6Th International Conference on Learning and Intelligent Optimization, Lion 6, Date: 16 January 2012 through 20 January 2012, Location: Paris, Sponsors: Microsoft Research;Microsoft France;INRIA Saclay Ile-de-France

Indexing