<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2010-11-05 06:10:40Theoretical computer science Constraint programming Electronic design automation Formal methods NP-complete problems Constraint satisfaction Combinatorial optimization Fundamenta Informaticae Satisfiability Mathematical optimization |
Add to Reading List |
Fundamenta Informaticaei–ii i DOIFIIOS Press