<?xml version="1.0" encoding="UTF-8"?>
<posts update='2008-10-13 14:51:00' user=""><post 
   href="http://www.cs.ubc.ca/~hoos/SATLIB/benchm.html" 
   description="SATLIB - Benchmark Problems" 
   
   hash="c434baee5f7e670906d564b8a61ab83d"
   user="brenz"
   tag="fnd.lfm.sat "
   time="2008-03-28T14:49:41+0100" />
<post 
   href="http://ocw.mit.edu/OcwWeb/Electrical-Engineering-and-Computer-Science/6-825Techniques-in-Artificial-IntelligenceFall2002/LectureNotes/index.htm" 
   description="MIT OpenCourseWare | Electrical Engineering and Computer Science | 6.825 Techniques in Artificial Intelligence (SMA 5504), Fall 2002 | Lecture Notes" 
   
   hash="4dff793634d4d1351ea5467fbf176caa"
   user="brenz"
   tag="fnd.lfm.sat "
   time="2008-03-14T13:52:57+0100" />
<post 
   href="http://ocw.mit.edu/OcwWeb/Electrical-Engineering-and-Computer-Science/6-825Techniques-in-Artificial-IntelligenceFall2002/Assignments/detail/project1a.htm" 
   description="MIT OpenCourseWare | Electrical Engineering and Computer Science | 6.825 Techniques in Artificial Intelligence (SMA 5504), Fall 2002 | Assignments | Project 1, Part A: (I Can&#039;t Get No) Satisfaction" 
   
   hash="aa57bba207b73de8ccb8c73259f7f6eb"
   user="brenz"
   tag="fnd.lfm.sat "
   time="2008-03-14T13:49:57+0100" />
<post 
   href="http://www.cs.binghamton.edu/~rzhang/sat.html" 
   description="Analysis of SAT Algorithm" 
   
     extended="satprob0" 
   
   hash="197c73778134a38f28143f00bb85ab59"
   user="brenz"
   tag="fnd.lfm.sat "
   time="2008-03-14T13:47:52+0100" />
<post 
   href="http://www.eecs.umich.edu/~faloul/benchmarks.html" 
   description="Fadi Aloul&#039;s Home Page - SAT Benchmarks" 
   
   hash="558a2b85df38baebf62c74f86235886e"
   user="brenz"
   tag="fnd.lfm.sat "
   time="2008-03-14T12:04:27+0100" />
<post 
   href="http://www.nlsde.buaa.edu.cn/~kexu/benchmarks/benchmarks.htm" 
   description="Forced Satisfiable CSP and SAT Benchmarks of Model RB - A Simple Way for Generating Hard Satisfiable CSP and SAT Formulas" 
   
   hash="94876aa3d9dfccc0578d7a71704bba37"
   user="brenz"
   tag="fnd.lfm.sat "
   time="2008-03-14T12:04:08+0100" />
<post 
   href="http://www.miroslav-velev.com/sat_benchmarks.html" 
   description="Miroslav Velev&#039;s SAT Benchmarks" 
   
   hash="50bb904a4f48e42480691893580eb40d"
   user="brenz"
   tag="fnd.lfm.sat "
   time="2008-03-14T12:03:47+0100" />
<post 
   href="http://www-sr.informatik.uni-tuebingen.de/~sinz/DC/" 
   description="SAT benchmarks from Automotive Product Configuration" 
   
   hash="5395856810171e56b79dc593d9299936"
   user="brenz"
   tag="fnd.lfm.sat "
   time="2008-03-14T12:03:29+0100" />
</posts>
