BibSonomy bookmarks for /user/brenz/fnd.lfm.sathttp://www.bibsonomy.org/rss/user/brenz/fnd.lfm.satBibSonomy RSS Feed for /user/brenz/fnd.lfm.satSATLIB - Benchmark Problemshttp://www.cs.ubc.ca/~hoos/SATLIB/benchm.htmlbrenz2008-03-28T14:49:41+01:00fnd.lfm.sat MIT OpenCourseWare | Electrical Engineering and Computer Science | 6.825 Techniques in Artificial Intelligence (SMA 5504), Fall 2002 | Lecture Noteshttp://ocw.mit.edu/OcwWeb/Electrical-Engineering-and-Computer-Science/6-825Techniques-in-Artificial-IntelligenceFall2002/LectureNotes/index.htmbrenz2008-03-14T13:52:57+01:00fnd.lfm.sat MIT OpenCourseWare | Electrical Engineering and Computer Science | 6.825 Techniques in Artificial Intelligence (SMA 5504), Fall 2002 | Assignments | Project 1, Part A: (I Can't Get No) Satisfactionhttp://ocw.mit.edu/OcwWeb/Electrical-Engineering-and-Computer-Science/6-825Techniques-in-Artificial-IntelligenceFall2002/Assignments/detail/project1a.htmbrenz2008-03-14T13:49:57+01:00fnd.lfm.sat Analysis of SAT Algorithmsatprob0http://www.cs.binghamton.edu/~rzhang/sat.htmlbrenz2008-03-14T13:47:52+01:00fnd.lfm.sat satprob0Fadi Aloul's Home Page - SAT Benchmarkshttp://www.eecs.umich.edu/~faloul/benchmarks.htmlbrenz2008-03-14T12:04:27+01:00fnd.lfm.sat Forced Satisfiable CSP and SAT Benchmarks of Model RB - A Simple Way for Generating Hard Satisfiable CSP and SAT Formulashttp://www.nlsde.buaa.edu.cn/~kexu/benchmarks/benchmarks.htmbrenz2008-03-14T12:04:08+01:00fnd.lfm.sat Miroslav Velev's SAT Benchmarkshttp://www.miroslav-velev.com/sat_benchmarks.htmlbrenz2008-03-14T12:03:47+01:00fnd.lfm.sat SAT benchmarks from Automotive Product Configurationhttp://www-sr.informatik.uni-tuebingen.de/~sinz/DC/brenz2008-03-14T12:03:29+01:00fnd.lfm.sat