Trade-offs Between Time and Memory in a Tighter Model of CDCL SAT Solvers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jan Elffers, Jan Johannsen, Massimo Lauria, Thomas Magnard, Jakob Nordström, Marc Vinyals. Trade-offs Between Time and Memory in a Tighter Model of CDCL SAT Solvers. In Nadia Creignou, Daniel Le Berre, editors, Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings. Volume 9710 of Lecture Notes in Computer Science, pages 160-176, Springer, 2016. [doi]

This author has not been identified. Look up 'Jan Elffers' in GoogleThis author has not been identified. Look up 'Jan Johannsen' in GoogleThis author has not been identified. Look up 'Massimo Lauria' in GoogleThis author has not been identified. Look up 'Thomas Magnard' in GoogleThis author has not been identified. Look up 'Jakob Nordström' in GoogleThis author has not been identified. Look up 'Marc Vinyals' in Google

runs on WebDSL