To access the full text documents, please follow this link: http://hdl.handle.net/2117/13288
dc.contributor | Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics |
---|---|
dc.contributor | Universitat Politècnica de Catalunya. LOGPROG - Lògica i Programació |
dc.contributor.author | Ansótegui Gil, Carlos |
dc.contributor.author | Bonet Carbonell, M. Luisa |
dc.contributor.author | Levy Díaz, Jordi |
dc.date | 2009 |
dc.identifier.citation | Ansótegui, C.; Bonet, M.; Levy, J. Towards industrial-like random SAT instances. A: International Joint Conference on Artificial Intelligence. "21st International Joint Conference on Artificial Intelligence". Pasadena, California: AAAI Press. Association for the Advancement of Artificial Intelligence, 2009, p. 387-392. |
dc.identifier.uri | http://hdl.handle.net/2117/13288 |
dc.language.iso | eng |
dc.publisher | AAAI Press. Association for the Advancement of Artificial Intelligence |
dc.relation | http://ijcai.org/papers09/contents.php |
dc.rights | info:eu-repo/semantics/openAccess |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica::Algorísmica i teoria de la complexitat |
dc.subject | Decision making |
dc.subject | Problem solving |
dc.subject | Computer algorithms |
dc.subject | SAT instances |
dc.subject | Decisió, Presa de |
dc.subject | Solució de problemes |
dc.subject | Algorismes computacionals |
dc.title | Towards industrial-like random SAT instances |
dc.type | info:eu-repo/semantics/publishedVersion |
dc.type | info:eu-repo/semantics/conferenceObject |
dc.description.abstract |