search

georgemarselis / openlava-macosx

Automatically exported from code.google.com/p/openlava-macosx
GNU General Public License v2.0
1 stars 0 forks source link

read up: satisfiability solver. #65

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
better way to schedule?

https://en.wikipedia.org/wiki/Boolean_satisfiability_problem

More to ths: SMT solver, specific type of satisfiability solver.

http://en.wikipedia.org/wiki/DPLL_algorithm # is the algorithm most use

Original issue reported on code.google.com by geo...@marsel.is on 1 Nov 2012 at 4:22

GoogleCodeExporter commented 9 years ago 
[19:22]  <zaniyah> miniSAT is the one to look at 
[19:22]  <zaniyah> it's well documented
[19:23]  <zaniyah> but to understand how it works, the wikipedia page on DPLL 
is worth reading

Original comment by geo...@marsel.is on 1 Nov 2012 at 4:24

GoogleCodeExporter commented 9 years ago

Original comment by geo...@marsel.is on 8 May 2013 at 4:28