Bernadette Martínez Hernández

Publication Activity (10 Years)

Years Active: 2003-2008
Publications (10 Years): 0

Publications

Alan M. Frisch, Warwick Harvey, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel
Essence : A constraint language for specifying combinatorial problems. Constraints An Int. J. 13 (3) (2008)
Alan M. Frisch, Matthew Grum, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel
The Design of ESSENCE: A Constraint Language for Specifying Combinatorial Problems. IJCAI (2007)
Alan M. Frisch, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel
The Rules of Constraint Modelling. IJCAI (2005)
Bernadette Martínez Hernández, Alan M. Frisch
Towards the Systematic Generation of Channelling Constraints. CP (2005)
Carlos Areces, Patrick Blackburn, Bernadette Martínez Hernández, Maarten Marx
Handling Boolean A Boxes. Description Logics (2003)