Satisfiability solvers can now be effectively deployed in practical applications.
advertisement
Home → Magazine Archive → August 2009 (Vol. 52, No. 8) → Boolean Satisfiability: From Theoretical Hardness... → Abstract
Boolean Satisfiability: From Theoretical Hardness to Practical Success
0 Comments
No entries found
Log in to Read the Full Article
Purchase the Article