Article,

Using automatic programming to generate state-of-the-art algorithms for random 3-SAT.

, and .
J. Heuristics, 19 (5): 819-844 (2013)

Meta data

Tags

Users

  • @dblp

Comments and Reviews