Continue to Site

Welcome to EDAboard.com

Welcome to our site! EDAboard.com is an international Electronics Discussion Forum focused on EDA software, circuits, schematics, books, theory, papers, asic, pld, 8051, DSP, Network, RF, Analog Design, PCB, Service Manuals... and a whole lot more! To participate you need to register. Registration is free. Click here to register now.

Register Log in

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

Part and Inventory Search

Welcome to EDABoard.com

Sponsor

Back
Top