Jonathan M. Lever

Publication Activity (10 Years)

Years Active: 1991-2005
Publications (10 Years): 0

Publications

Jonathan M. Lever
A Local Search/Constraint Propagation Hybrid for a Network Routing Problem. Int. J. Artif. Intell. Tools 14 (1-2) (2005)
Jonathan M. Lever
A Local Search/Constraint Propagation Hybrid for a Network Routing Problem. FLAIRS Conference (2004)
Mozafar T. Hajian, Hani El Sakkout, Mark Wallace, Jonathan M. Lever, Barry Richards
Towards a closer integration of finite domainpropagation and simplex-based algorithms. Ann. Oper. Res. 81 (1998)
Jonathan M. Lever
Constraint Logic Programming for Planning. ILPS (1994)
Jonathan M. Lever, Barry Richards
parcPlan: A Planning Architecture with Parallel Actions, Resources and Constraints. ISMIS (1994)
Jonathan M. Lever
Program Equivalence, Program Development and Integrity Checking. LOPSTR (1991)
Jonathan M. Lever
Proving Program Properties by Means of SLS-Resolution. ICLP (1991)