David Eppstein

*Proc. 9th Int. Joint Conf. Artificial Intelligence*, Aug 1985, vol. 1, pp. 219-221

http://www.ics.uci.edu/~eppstein/pubs/Epp-IJCAI-85.pdf

Cited by:

- The universal resolving algorithm: Inverse computation in a functional language
- Efficient optimistic parallel simulations using reverse computation
- Techniques for Efficient Parallel Simulation and their Application to Large-scale Telecommunication Network Models
- Principles of inverse computation and the universal resolving algorithm
- The universal resolving algorithm and its correctness: Inverse computation in a functional language
- An algorithm for fully reversible optimistic parallel simulation
- Generating perfect reversals of simple linear-codes
- A program inverter for a functional language with equality and constructors
- Derivation of deterministic inverse programs based on LR parsing