Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/103872
dc.contributor | Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals |
---|---|
dc.contributor.author | Elffers, J. |
dc.contributor.author | Johannsen, Jan |
dc.contributor.author | Lauria, Massimo |
dc.contributor.author | Magnard, Thomas |
dc.contributor.author | Nordström, Jakob |
dc.contributor.author | Vinyals, Marc |
dc.date | 2016 |
dc.identifier.citation | Elffers, J., Johannsen, J., Lauria, M., Magnard, T., Nordström, J., Vinyals, M. Trade-offs between time and memory in a tighter model of CDCL SAT solvers. A: International Conference on Theory and Applications of Satisfiability Testing. "Theory and Applications of Satisfiability Testing – SAT 2016, 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings". Bordeaux: 2016, p. 160-176. |
dc.identifier.citation | 978-331940969-6 |
dc.identifier.citation | 10.1007/978-3-319-40970-2_11 |
dc.identifier.uri | http://hdl.handle.net/2117/103872 |
dc.language.iso | spa |
dc.relation | http://link.springer.com/chapter/10.1007%2F978-3-319-40970-2_11 |
dc.relation | info:eu-repo/grantAgreement/EC/H2020/648276/EU/A Unified Theory of Algorithmic Relaxations/AUTAR |
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 | Conflict-Driven Clause Learning |
dc.subject | Commerce |
dc.subject | Formal logic |
dc.subject | Clause learning |
dc.subject | Fine grained |
dc.subject | Learning schemes |
dc.subject | Lower bounds |
dc.subject | Memory usage |
dc.subject | Resolution proofs |
dc.subject | SAT solvers |
dc.subject | Upper Bound |
dc.subject | Economic and social effects |
dc.subject | Aprenentatge basat en conflictes |
dc.title | Trade-offs between time and memory in a tighter model of CDCL SAT solvers |
dc.type | info:eu-repo/semantics/submittedVersion |
dc.type | info:eu-repo/semantics/conferenceObject |
dc.description.abstract | |
dc.description.abstract | |
dc.description.abstract |