The complexity of valued constraint models ˇ y, Peter Jeavons Standa Zivn´ Oxford University Computing Laboratory 22 September, 2009

Source URL: www.cs.ox.ac.uk

Toppling Analysis of the Echo Cliff Precariously Balanced Rock by Swetha Veeraraghavan, Kenneth W. Hudnut, and Swaminathan Krishnan Abstract Ground motion required to topple a precariously balanced rock can provide const

Source URL: krishnan.caltech.edu

• Rotational symmetry
• Physics
• Computational science
• Rigid body
• Equations of motion
• Constraint algorithm
• Nature

Two type extensions for the constraint modelling language MiniZinc Rafael Caballeroa,∗∗, Peter J. Stuckeyb,1,∗, Antonio Tenorio-Fornésa,∗ a b

Source URL: gpd.sip.ucm.es

Program Verification using Constraint Handling Rules and Array Constraint Generalizations⋆ Emanuele De Angelis1,3 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1

Source URL: www.sci.unich.it

Model Checking Constraint LTL over Trees? Alexander Kartzow1,2 and Thomas Weidner1 1 2

Source URL: www.kartzow.de

Model Repair and Transformation with Echo Nuno Macedo, Tiago Guimar˜aes, Alcino Cunha HASLAB — High Assurance Software Laboratory INESC TEC & Universidade do Minho, Braga, Portugal {nfmmacedo,tguimaraes,alcino}@di.umi

Source URL: alfa.di.uminho.pt

• Unified Modeling Language
• Systems engineering
• Software engineering
• Computing
• Systems science
• Object Constraint Language
• Metamodeling
• Model-driven architecture
• Platform-specific model
• Object Process Methodology
• MMT
• QVT

A Lazy Narrowing Calculus for Declarative Constraint ∗ Programming F. J. Lopez-Fraguas ´

Source URL: gpd.sip.ucm.es

Noname manuscript No. (will be inserted by the editor) Discrete thickness optimization via piecewise constraint penalization Graeme J. Kennedy

Source URL: gkennedy.gatech.edu

Program Verification using Constraint Handling Rules and Array Constraint Generalizations Emanuele De Angelis1,3 , Fabio Fioravanti1 , Alberto Pettorossi2 , and Maurizio Proietti3 1 University

Source URL: www.sci.unich.it

DARN! A weighted constraint solver for RNA motif localization Matthias Zytnicki, Christine Gaspin and Thomas Schiex October 12, 2007 Abstract Following recent discoveries about the important roles of non-coding

Source URL: www.crt.umontreal.ca