Old Web
English
Sign In
Acemap
>
Paper
>
Motion planning with Satisfiability Modulo Theories
Motion planning with Satisfiability Modulo Theories
2014
William N. N. Hung
Xiaoyu Song
Jindong Tan
Xiaojuan Li
Jie Zhang
Rui Wang
Peng Gao
Keywords:
Motion planning
Satisfiability modulo theories
Discrete mathematics
Mathematics
Control engineering
Algebra
Correction
Source
Cite
Save
Machine Reading By IdeaReader
17
References
18
Citations
NaN
KQI
[]