Jonathan M. Lever
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1991–2004
Best venue rank
National
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2004 | FlAIRS | A Local Search/Constraint Propagation Hybrid for a Network Routing Problem. | Jonathan M. Lever |
| 1994 | ISMIS | parcPlan: A Planning Architecture with Parallel Actions, Resources and Constraints. | Jonathan M. Lever, Barry Richards |
| 1991 | ICLP | Proving Program Properties by Means of SLS-Resolution. | Jonathan M. Lever |
| 1991 | LOPSTR | Program Equivalence, Program Development and Integrity Checking. | Jonathan M. Lever |