| Original language | English |
|---|---|
| Publication status | Published - 22 Mar 2009 |
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver
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