Dynamic flexible constraint satisfaction and its application to AI planning - Miguel, Ian (CPHC/BCS distinguished dissertations., 2004)