Publicações

Non-Portfolio Approaches for Distributed Maximum Satisfiability

AuthID
P-00P-F9V

Author(s)

Terra Neves, M

Lynce, I

Manquinho, V

Editor(es)

Bourbakis,N;Esposito,A;Mali,A;Alamaniotis,M

Tipo de Documento

Proceedings Paper

Year published

2016

Publicado

in 2016 IEEE 28TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2016) in Proceedings-International Conference on Tools With Artificial Intelligence, ISSN: 1082-3409

Páginas: 436-443 (8)

Conference

28Th Ieee International Conference on Tools with Artificial Intelligence (Ictai), Date: NOV 06-08, 2016, Location: San Jose, CA, Patrocinadores: IEEE, Biol & Artificial Intelligence Fdn, IEEE Comp Soc

Indexing