Blogs about: Sat Solver
Featured Blog
Linear-time First UIP calculation
In a previous post I mentioned I was using a super-linear algorithm for calculating the first unique implication point (UIP) learned clause in funsat. The algorithm basically uses the definition of fi… more →
This sentence is false
A Machine Program for Theorem-Proving
— 1 comment
dcoetzee wrote 9 months ago: Citation: Davis, M., Logemann, G., and Loveland, D. A machine program for theorem-proving. Communica … more →
Linear-time First UIP calculation
— 4 comments
dbueno wrote 9 months ago: In a previous post I mentioned I was using a super-linear algorithm for calculating the first unique … more →
SAT and the quest for the perfect study subject...
— 2 comments
pmatos wrote 1 year ago: This must be the oldest post in my drafts bucket. Its creation (the title, I mean, because the body … more →
Unstacking Monads for Performance
— 4 comments
dbueno wrote 1 year ago: While reflecting on how I might be able to improve my SAT solver, I discovered that my inner bottlen … more →
A Modern SAT Solver in Haskell
— 7 comments
dbueno wrote 1 year ago: Update 2009-03-09: The git clone url has been corrected. Please post a comment if it doesn’t w … more →
