Original language | English |
---|---|
Publication status | Published - 1 Jan 2009 |
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 form › Software