Torkel Hjerpe

• High-level specification and efficient solving of constraint satisfaction problems