A Two-Phase Exact Algorithm for MAX-SAT and Weighted                    MAX-SAT Problems

BibTex:
Research Area:	MaxSAT	Year:	1999
Type of Publication:	Article
Authors:	Borchers, B. Furman, J.
Journal:	Journal of Combinatorial Optimization	Volume:	2
Number:	4	Pages:	299-306


@article{Borchers99, author = "B. Borchers and J. Furman", journal = "Journal of Combinatorial Optimization", number = "4", pages = "299-306", title = "{A} {T}wo-{P}hase {E}xact {A}lgorithm for {MAX}-{SAT} and {W}eighted {MAX}-{SAT} {P}roblems", volume = "2", year = "1999", }
[Bibtex] [RIS] [MODS]

COST FUNCTION