SAT Solving - looking for anything(especially source code)

Status
Not open for further replies.
S

semina

Newbie level 4
Joined
Jan 4, 2008
Messages
6
Helped
0
Reputation
0
Reaction score
0
Trophy points
1,281
Activity points
1,312
SAT Solving

Hello
I'm looking for anything(especially source code) that is concerning SAT Solving.I know that the main feature of modern SAT solvers is the development of new techniques to support effective clause learning.

thank you
 

Re: SAT Solving

may be you need to define the scope of your process!
 

Status
Not open for further replies.

Similar threads

Menu
Log in
Register
Cookies are required to use this site. You must accept them to continue using the site. Learn more…