David Genest

Learn More
This paper answers the SCG-1 initiative. The room allocation problem provided has been solved in a generic and automatic way. The solution is based on a totally declarative formal model. Basic constructs are simple graphs and the fundamental operation for doing reasonings is the graph morphism known as projection. The other formal constructs are rules and(More)