A two-phase algorithm for solving a class of hard satisfiability problems

1998

Operations Research Letters , Volume 24 - Issue 3-5 p. 81- 88

Additional Metadata
Publisher	North-Holland
Journal	Operations Research Letters
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Warners, J., & van Maaren, H. (1998). A two-phase algorithm for solving a class of hard satisfiability problems. Operations Research Letters, 24(3-5), 81–88.

Additional Files
0093D.pdf Final Version , 1mb
Publisher Version

Publication