Skip to main navigation
Skip to search
Skip to main content
NYU Scholars Home
Help & FAQ
Home
Profiles
Research units
Research output
Search by expertise, name or affiliation
Continuous time in a SAT-based planner
Ji Ae Shin,
Ernest Davis
Computer Science
Research output
:
Contribution to conference
›
Paper
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Continuous time in a SAT-based planner'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Engineering
Continuous Time
100%
Numeric Variable
100%
Welds
100%
Mathematics
Propositional Variable
100%
Computer Science
Propositional Variable
100%
Keyphrases
Wolf Man
33%
Parallel Plans
33%
Propositional Variable
33%