gNovelty+-version 2.0-T: Multi-Threaded Stochastic Local Search for Boolean Satisfiability: Winner of the threaded "Random Instances" category of the 2009 international SAT competition

DN Pham, Charles Gretton

Research output: Non-textual formSoftware

Original languageEnglish
Publication statusPublished - 1 Jan 2009

Cite this