Logo Logo

Publications by Vinyals, Marc

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date
Jump to: Book Section
Number of items: 1.

Book Section

Elffers, Jan; Johannsen, Jan; Lauria, Massimo; Magnard, Thomas; Nordström, Jakob; Vinyals, Marc (2016): Trade-offs Between Time and Memory in a Tighter Model of CDCL SAT Solvers. In: Theory and Applications of Satisfiability Testing – SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings. Theoretical Computer Science and General Issues, Vol. 9710. Cham: Springer. pp. 160-176

This list was generated on Sat Sep 21 17:47:52 2019 CEST.