gNovelty+-version 2.0: Stochastic Local Search for Boolean Satisfiability: Second place in the "Random Instances" category of the 2009 international SAT competition

DN Pham, Charles Gretton

Research output: Non-textual formSoftware

Original languageEnglish
Publication statusPublished - 22 Mar 2009

Cite this