Lewis Karen

Karen Lewis

Information about the author Karen Lewis will soon be added to the site.
Found 1 papers in total
Using the unconstrained quadratic program to model and solve Max 2-SAT problems
2005
Satisfiability (SAT) and Max-SAT problems have been the object of considerable...
Papers per page: