UML and OCL Transformation Model Analysis: Checking Invariant Independence Martin Gogolla, Frank Hilken Database Systems Group, University of Bremen, Germany {gogolla|fhilken}@informatik.uni-bremen.de

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• Systems engineering
• Scientific modeling
• ECO
• Model-driven architecture
• Metamodeling
• Entityrelationship model
• Invariant
• Model transformation
• Class diagram
• Object Constraint Language
• Executable UML

A Fast Linear-Arithmetic Solver for DPLL(T) Bruno Dutertre and Leonardo de Moura Computer Science Laboratory, SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025, USA {bruno, demoura}@csl.sri.com

Source URL: yices.csl.sri.com

• Theoretical computer science
• Logic
• Mathematics
• Constraint programming
• Electronic design automation
• Formal methods
• Logic in computer science
• NP-complete problems
• Satisfiability modulo theories
• Boolean satisfiability problem
• Simplex algorithm
• Satisfiability

Pre-processing in Boolean Satisfiability Using Bounded -Consistency on Regions with Locally Difficult Constraint Setup

Source URL: iti.mff.cuni.cz

Combining Proof-Producing Decision Procedures Silvio Ranise, Christophe Ringeissen, and Duc-Khanh Tran LORIA & INRIA-Lorraine Abstract. Constraint solvers are key modules in many systems with

Source URL: www.loria.fr

Tuffy: Scaling up Statistical Inference in Markov Logic Networks using an RDBMS ∗ Feng Niu

Source URL: www.cs.stanford.edu

• Constraint programming
• Automated theorem proving
• Theoretical computer science
• Mathematics
• Mathematical logic
• Markov logic network
• WalkSAT
• Graph partition
• Nibbles
• Local search
• Resolution
• Alchemy

Identifying a High Fraction of the Human Genome to be under Selective Constraint Using GERP++ Eugene V. Davydov1, David L. Goode2, Marina Sirota3, Gregory M. Cooper4,5¤, Arend Sidow2,6*, Serafim Batzoglou1 1 Department

Source URL: mendel.stanford.edu

o. Univ. Prof. Dr. Richard Hartl Fakultät für Wirtschaftswissenschaften VORTRAG "Integrating Beam-ACO with Constraint Programming for Single

Source URL: prolog.univie.ac.at

Asynchronous Execution and Communication Latency in Distributed Constraint Optimization Lambert Meertens and Stephen Fitzpatrick∗ Kestrel Institute 3260 Hillview Avenue, Palo Alto, California 94304, U.S.A. meertens@kes

Source URL: www.kestrel.edu

Locally Consistent Constraint Satisfaction Problems with Binary Constraints Manuel Bodirsky ∗

Source URL: iti.mff.cuni.cz

Counting-Based Look-Ahead Schemes for Constraint Satisfaction Kalev Kask, Rina Dechter, and Vibhav Gogate Donald Bren School of Information and Computer Science University of California, Irvine, CA 92967 {kkask, dechter,

Source URL: www.hlt.utdallas.edu