start | find | index | login or register | edit
WalkSAT
by earl, 6310 days ago
A stochastic local search-based [create SAT] solver.

- http://www.cs.rochester.edu/u/kautz/walksat/

search

40 active users

backlinks (more)

none, yet

recent stores (more)

powered by vanilla
echo earlZstrainYat|tr ZY @.
earl.strain.at • esa3 • online for 8662 days • c'est un vanilla site