Generalizing DPLL and satisfiability for equalities
- 作者Bahareh Badban; Jaco van de Pol; Olga Tveretina; Hans Zantema
- 卷第205卷
- 期第8期
- 印刷ISSN0890-5401
- 电子ISSN1090-2651
- 文件大小209.30KB
- 发表时间2007
- DOI10.1016/j.ic.2007.03.003
- 页码1188-1211
[IEEE IEEE International Conference on Robotics and Automation. IEEE ICRA 2003 - Taipei, Taiwan (14-19 Sept. 2003)] 2003 IEEE International Conference on Robotics and Automation (Cat. No.03CH37422) - An extensor mechanism for an anatomical robotic handWilkinson, D.D.; Weghe, M.V.; Matsuoka, Y. · 2003
[IEEE 2015 IEEE International Conference on Robotics and Automation (ICRA) - Seattle, WA, USA (2015.5.26-2015.5.30)] 2015 IEEE International Conference on Robotics and Automation (ICRA) - Operating an unknown drawer using an aerial manipulatorKim, Suseong; Hoseong Seo, ; Kim, H. Jin · 2015
[IEEE Comput. Soc. Press IEEE International Conference on Robotics and Automation - Cincinnati, OH, USA (13-18 May 1990)] Proceedings., IEEE International Conference on Robotics and Automation - Passive robotics: an exploration of mechanical computationGoswami, A.; Peshkin, M.A.; Colgate, J.E. · 1990
[IEEE 2008 IEEE International Conference on Robotics and Biomimetics - Bangkok (2009.02.22-2009.02.25)] 2008 IEEE International Conference on Robotics and Biomimetics - Adaptive cruise control for an intelligent vehiclePananurak, W.; Thanok, S.; Parnichkun, M. · 2009
[IEEE 2017 IEEE International Conference on Robotics and Automation (ICRA) - Singapore, Singapore (2017.5.29-2017.6.3)] 2017 IEEE International Conference on Robotics and Automation (ICRA) - An ultra-compact infinitely variable transmission for roboticsKembaum, Alexander S.; Kitchell, Murphy; Crittenden, Max · 2017
[IEEE 2011 IEEE International Conference on Robotics and Automation (ICRA) - Shanghai, China (2011.05.9-2011.05.13)] 2011 IEEE International Conference on Robotics and Automation - An arm suspension mechanism for an underactuated single legged hopping robotSchmidt-Wetekam, Christopher; Bewley, Thomas · 2011
[IEEE 1995 IEEE International Conference on Robotics and Automation - Nagoya, Japan (21-27 May 1995)] Proceedings of 1995 IEEE International Conference on Robotics and Automation - Control for an autonomous bicycleGetz, N.H.; Marsden, J.E. · 1995
[IEEE Comput. Soc. Press [1993] IEEE International Conference on Robotics and Automation - Atlanta, GA, USA (2-6 May 1993)] [1993] Proceedings IEEE International Conference on Robotics and Automation - An inexpensive pneumatic manipulator for rehabilitation roboticsOuerfelli, M.; Kumar, V.; Harwin, W. · 1993