(1 - 19 from 20
)
SAT 2014: Theory and Applications of Satisfiability Testing,
resources.illc.uva.nl
... Rintanen Aalto University, Finland Lakhdar Sais Artois University, France Karem Sakallah University of Michigan, USA Horst Samulowitz IBM ...
sorted by relevance / date