2008 |
5 | EE | Alan M. Frisch,
Warwick Harvey,
Christopher Jefferson,
Bernadette Martínez Hernández,
Ian Miguel:
Essence : A constraint language for specifying combinatorial problems.
Constraints 13(3): 268-306 (2008) |
2007 |
4 | EE | 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: 80-87 |
2005 |
3 | EE | Bernadette Martínez Hernández,
Alan M. Frisch:
Towards the Systematic Generation of Channelling Constraints.
CP 2005: 859 |
2 | EE | Alan M. Frisch,
Christopher Jefferson,
Bernadette Martínez Hernández,
Ian Miguel:
The Rules of Constraint Modelling.
IJCAI 2005: 109-116 |
2003 |
1 | EE | Carlos Areces,
Patrick Blackburn,
Bernadette Martínez Hernández,
Maarten Marx:
Handling Boolean A Boxes.
Description Logics 2003 |