Outputs (2)

Lessons from experience: making theorem provers more co-operative. (1996)
Presentation / Conference Contribution
Lowe, H., Cumming, A., Smyth, M., & Varey, A. (1996). Lessons from experience: making theorem provers more co-operative. In Proceedings of the Second Workshop on User Interfaces for Theorm Provers (67-74)

We describe our experiences in trying to build a co-operative theorem proving system. Our model of co-operation is that of a user and an automaton combining forces to prove theorems in a semi-automated theorem proving system. We describe various unde... Read More about Lessons from experience: making theorem provers more co-operative..

Extensions to a memetic timetabling system. (1996)
Presentation / Conference Contribution
Paechter, B., Cumming, A., Norman, M. G., & Luchian, H. (1996). Extensions to a memetic timetabling system. In R. Burke (Ed.), Practice and Theory of Automated Timetabling (251-265). https://doi.org/10.1007/3-540-61794-9_64

This paper describes work in progress to increase the performance of a memetic timetabling system. The features looked at are two directed mutation operators, targeted mutation and a structured population that facilitates parallel implementation. Exp... Read More about Extensions to a memetic timetabling system..