Brian Borchers
- A Two-Phase Exact Algorithm for MAX-SAT and Weighted MAX-SAT Problems
1998/12/01 by Brian Borchers, Judith D. Furman, Judith Furman · 1 citation
Computer Science · Mathematics · #Advanced Graph Theory Research #Algorithm #Branch and bound #Branch and cut #Branch and price #Combinatorics #Computer science #Constraint Satisfaction and Optimization #Enumeration #Formal Methods in Verification #Heuristic #Integer (computer science) #Integer programming #Mathematical optimization #Mathematics #Pruning #Search algorithm #Search tree #Theory of computation #Tree (set theory)