Larry Henschen

Publication Activity (10 Years)

Years Active: 1983-2013
Publications (10 Years): 0

Top Topics

Simulated Annealing

Top Venues

Appl. Soft Comput.

Publications

Qingbao Zhu, Jun Hu, Larry Henschen
A new moving target interception algorithm for mobile robots based on sub-goal forecasting and an improved scout ant algorithm. Appl. Soft Comput. 13 (1) (2013)
Qingbao Zhu, Jun Hu, Wenbin Cai, Larry Henschen
A new robot navigation algorithm for dynamic unknown environments based on dynamic path re-computation and an improved scout ant algorithm. Appl. Soft Comput. 11 (8) (2011)
Larry Henschen, Barry Smith, Robert Veroff, Steve Winker, Larry Wos
Questions concerning possible shortest single axioms for the equivalential calculus: an application of automated theorem proving to infinite domains. Notre Dame J. Formal Log. 24 (2) (1983)