dblp.uni-trier.dewww.uni-trier.de

Bernadette Martínez Hernández

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
5EEAlan 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
4EEAlan 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
3EEBernadette Martínez Hernández, Alan M. Frisch: Towards the Systematic Generation of Channelling Constraints. CP 2005: 859
2EEAlan M. Frisch, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel: The Rules of Constraint Modelling. IJCAI 2005: 109-116
2003
1EECarlos Areces, Patrick Blackburn, Bernadette Martínez Hernández, Maarten Marx: Handling Boolean A Boxes. Description Logics 2003

Coauthor Index

1Carlos Areces [1]
2Patrick Blackburn [1]
3Alan M. Frisch [2] [3] [4] [5]
4Matthew Grum [4]
5Warwick Harvey [5]
6Christopher Jefferson [2] [4] [5]
7Maarten Marx [1]
8Ian Miguel [2] [4] [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)