Back to Results
First PageMeta Content
Theoretical computer science / Logic / Mathematical logic / Logic in computer science / Constraint programming / Electronic design automation / Formal methods / NP-complete problems / Satisfiability modulo theories / Automated planning and scheduling / Solver / Planning Domain Definition Language


U NIVERSITAT DE G IRONA ` ` D EPARTAMENT D ’I NFORM ATICA , M ATEM ATICA
Add to Reading List

Document Date: 2016-06-09 08:09:17


Open Document

File Size: 114,42 KB

Share Result on Facebook