GOSSE BOUMA, FRANK VAN EYNDE AND DAN FLICKINGER CONSTRAINT-BASED LEXICA 1. I NTRODUCTION

Source URL: www.essex.ac.uk

The Complexity of Equality Constraint Languages Manuel Bodirsky1 and Jan K´ ara2 1

Source URL: iti.mff.cuni.cz

LNCSA Tutorial on Satisfiability Modulo Theories

Source URL: yices.csl.sri.com

• Theoretical computer science
• Mathematical logic
• Mathematics
• Constraint programming
• Automated theorem proving
• Electronic design automation
• Formal methods
• NP-complete problems
• Boolean satisfiability problem
• DPLL algorithm
• Symbol
• Conjunctive normal form

Parameterized complexity of constraint satisfaction problems ´ Daniel Marx Budapest University of Technology and Economics

Source URL: www.cs.bme.hu

Modular Embedding of the Object Constraint Language into a Programming Language Fabian Büttner and Martin Gogolla University of Bremen, Computer Science Department, Database Systems Group {green,gogolla}@tzi.de

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

• Software
• Computing
• Unified Modeling Language
• Programming paradigms
• Object Constraint Language
• ECO
• Executable UML
• Imperative programming
• Statement
• Assignment
• Eclipse
• Modeling language

Constraint satisfaction parameterized by solution size∗ Andrei A. Bulatov† D´aniel Marx‡ January 18, 2014

Source URL: www.cs.bme.hu

ConstraintJS: Programming Interactive Behaviors for the Web by Integrating Constraints and States Stephen Oney, Brad Myers Carnegie Mellon University Pittsburgh, PAUSA {soney, bam}@cs.cmu.edu

Source URL: from.so

• Software engineering
• Computer programming
• Declarative programming
• Constraint programming
• Programming paradigms
• JavaScript
• Futures and promises
• Constraint
• Constraint logic programming
• Constraint satisfaction

The MiningZinc Framework for Constraint-based Itemset Mining Tias Guns∗ , Anton Dries∗ , Guido Tack† , Siegfried Nijssen∗‡ and Luc De Raedt∗ ∗ Department of Computer Science, KU Leuven

Source URL: inductiveconstraints.eu

An Approach to Employ Modeling in a Traditional Computer Science Curriculum or: Why Posing Essentials of the Object Constraint Language without Objects and Constraints? Martin Gogolla University of Bremen

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

• Unified Modeling Language
• ISO standards
• Object Constraint Language
• ECO
• Metamodeling
• Relational model
• Relational algebra
• Profile
• Web Ontology Language
• Relational database
• Null
• Entityrelationship model

Santini_Francesco_SR_INRIA

Source URL: fellowship.ercim.eu

• Declarative programming
• Constraint programming
• Software engineering
• Theoretical computer science
• Programming paradigms
• Graph theory
• Constraint logic programming
• Logic programming
• Graph rewriting
• Graph