University of Washington Computer Science & Engineering

AI Resources

Software

Walksat - Stochastic Local Search for Satisfiability
SATPLAN - Planning as Satisfiability
VFML - Very Fast Machine Learning toolkit
Alchemy - Statistical relational AI


	Computer Science & Engineering University of Washington Box 352350 Seattle, WA 98195-2350 (206) 543-1695 voice, (206) 543-2969 FAX [comments about web site to ai-webmaster@cs.washington.edu]