Back to Results
First PageMeta Content
Theoretical computer science / Mathematics / Computational complexity theory / Logic in computer science / Electronic design automation / Formal methods / NP-complete problems / Constraint programming / Planning Domain Definition Language / Boolean satisfiability problem / Satisfiability modulo theories / Hybrid system


SMT-Based Nonlinear PDDL+ Planning
Add to Reading List

Document Date: 2018-09-27 16:37:21

Open Document

File Size: 631,37 KB

Share Result on Facebook
UPDATE