Industrial and Intellectual Property
-
Improving MCS enumeration via caching [2017]
- Category:
- Ponencias
- Authors:
- J. Marques-Silva , M. Järvisalo , Carlos Mencía Cascallana , A. Previti
- Date:
- 01 of January of 2017
- It Is a Part of:
- Theory and Applications of Satisfiability Testing – SAT 2017