Browsing Articles publicats (Informàtica i Enginyeria Industrial) by Subject "SAT instances"
Now showing items 1-1 of 1
(Springer Verlag, 2014)Modern SAT solvers have experienced a remarkable progress on solving industrial instances. Most of the techniques have been developed after an intensive experimental process. It is believed that these techniques exploit ...