Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/103872

Trade-offs between time and memory in a tighter model of CDCL SAT solvers
Elffers, J.; Johannsen, Jan; Lauria, Massimo; Magnard, Thomas; Nordström, Jakob; Vinyals, Marc
Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica::Algorísmica i teoria de la complexitat
Conflict-Driven Clause Learning
Commerce
Formal logic
Clause learning
Fine grained
Learning schemes
Lower bounds
Memory usage
Resolution proofs
SAT solvers
Upper Bound
Economic and social effects
Aprenentatge basat en conflictes
info:eu-repo/semantics/submittedVersion
info:eu-repo/semantics/conferenceObject
         

Mostrar el registro completo del ítem

Documentos relacionados

Otros documentos del mismo autor/a

Atserias, Albert; Lauria, Massimo; Nordström, Jakob
Atserias, Albert; Lauria, Massimo; Nordström, Jakob
 

Coordinación

 

Patrocinio