- Publicações
- Pesquisar
- Estatísticas
Clause Sharing in Parallel Maxsat
AuthID
P-008-6X2
P-008-6X2
3
Author(s)
2
Editor(es)
Hamadi,Y;Schoenauer,M
Tipo de Documento
Proceedings Paper
Year published
2012
Publicado
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, Páginas: 455-460
Conference
6Th International Conference on Learning and Intelligent Optimization, Lion 6, Date: 16 January 2012 through 20 January 2012, Location: Paris, Patrocinadores: Microsoft Research;Microsoft France;INRIA Saclay Ile-de-France
Publication Identifiers
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Publication Export Settings
Lista Marked
Info
At this moment we don't have any links to full text documens.