Bernadette Martínez Hernández, PhD
berna.martinez@remove-this.gmail.com

PhD research topic: The Systematic Generation Of Channelled Models In Constraint Satisfaction

Supervisor: Alan Frisch

Artificial Intelligence Group

Department of Computer Science

University of York 

Essence and Conjure: The Automated Generation of Constraint Programs. My lil' version of Conjure.