Improving Unsatisfiability-Based Algorithms for Boolean Optimization
Published in Lecture notes in computer science • Jan 1, 2010
NobleIDNI3P96W45R74S18
Authors:,,
Vasco Manquinho
Ruben Martins
Inês Lynce
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!