First Page | Document Content | |
---|---|---|
![]() Date: 2012-12-16 04:54:55Theoretical computer science Logic in computer science Combinatorial optimization Maximum satisfiability problem Unit propagation Constraint programming Mathematics Mathematical logic | Add to Reading List |