Sciweavers

419 search results - page 2 / 84
» Constraint models for graceful graphs
Sort
View
AAAI
2006
13 years 6 months ago
An Efficient Way of Breaking Value Symmetries
Several methods for breaking value symmetries have been proposed recently in the constraint programming community. They can be used in conjunction with variable symmetry breaking ...
Jean-François Puget
CORR
2010
Springer
106views Education» more  CORR 2010»
13 years 5 months ago
Symmetry within Solutions
We define the concept of an internal symmetry. This is a symmety within a solution of a constraint satisfaction problem. We compare this to solution symmetry, which is a mapping b...
Marijn Heule, Toby Walsh
FASE
2005
Springer
13 years 10 months ago
Ensuring Structural Constraints in Graph-Based Models with Type Inheritance
Graphs are a common means to represent structures in models and meta-models of software systems. In this context, the description of model domains by classifying the domain entitie...
Gabriele Taentzer, Arend Rensink
ECAI
2004
Springer
13 years 10 months ago
Modelling the Interpretation of Novel Compounds
The understanding of novel compounds is a special case in which we can explore the deep generativity of natural language understanding. We report a model, PUNC, which captures the ...
Dermot Lynott, Mark T. Keane
CONSTRAINTS
1998
120views more  CONSTRAINTS 1998»
13 years 4 months ago
Constrained Graph Layout
Most current graph layout technology does not lend itself to interactive applications such as animation or advanced user interfaces. We introduce the constrained graph layout model...
Weiqing He, Kim Marriott