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