On Improving Local Search for Unsatisfiability
Electronic Proceedings in Theoretical Computer Science, EPTCS - United States
doi 10.4204/eptcs.5.4
Full Text
Open PDFAbstract
Available in full text
Categories
Date
October 8, 2009
Authors
Publisher
Open Publishing Association