First Page | Document Content | |
---|---|---|
![]() Date: 2013-07-25 05:33:36Constraint satisfaction problem Local consistency FO Boolean satisfiability problem Decomposition method Complexity of constraint satisfaction Theoretical computer science Constraint programming Applied mathematics | Add to Reading List |