xpanda Table of contents Introduction......................................................................................................................................1 Usage........................................

Source URL: potassco.sourceforge.net

• Mathematics
• Constraint programming
• Declarative programming
• Software engineering
• Formal methods
• Theoretical computer science
• Lambda calculus
• Syntax
• Variable
• HindleyMilner type system
• Constraint logic programming
• Local consistency

Locally Finite Constraint Satisfaction Problems Bartek Klin∗ , Eryk Kopczy´nski† , Joanna Ochremiak∗ , Szymon Toru´nczyk∗ University of Warsaw Email: {klin,erykk,ochremiak,szymtor}@mimuw.edu.pl Abstract—Firs

Source URL: www.mimuw.edu.pl

Extreme SAT-based Constraint Solving with R-Solve

Source URL: www.ieee-hpec.org

A Data-Oriented Approach to Program Synthesis Fritz Obermeyer

Source URL: fritzo.org

• Constraint programming
• 6V
• Local consistency

The VC dimension of constraint-based grammars Max Banea , Jason Rigglea , Morgan Sondereggerb a University b University of Chicago, Department of Linguistics, 1010 East 59th Street, Chicago, IL 60637.

Source URL: people.linguistics.mcgill.ca

• Geometry
• Mathematics
• Mathematical optimization
• Linguistics
• Optimality theory
• Phonology
• Phonotactics
• Linear algebra
• Hyperplane
• Feasible region
• Arrangement of hyperplanes
• Modal logic

A Decision Procedure for Solving Constraint Systems in Presence of Multiple Independent Intruders Ali Kassem, Pascal Lafourcade and Yassine Lakhnech Verimag, Grenoble University, France

Source URL: www2.imm.dtu.dk

Microsoft PowerPoint - Access-Based Localization for Octagons.pptx

Source URL: nsad2012.ucombinator.org

• Constraint programming
• Logic programming
• Loop quantum gravity
• Data modeling
• Mathematical optimization

Euclase: A Live Development Environment with Constraints and FSMs Stephen Oney, Brad A. Myers Joel Brandt

Source URL: liveprogramming.github.io

• Software engineering
• Computing
• Computer programming
• Programming paradigms
• Technical communication
• Constraint programming
• Declarative programming
• Eval
• Programming language
• Design
• Usability
• APL

Microsoft Word - klippelXXXXegenhofer-cohn.doc

Source URL: www.cognitivegiscience.psu.edu

• Knowledge representation
• Reasoning
• Cognition
• Cognitive science
• Academia
• Logic
• Computational topology
• Constraint programming
• Region connection calculus
• Spatialtemporal reasoning
• General topology
• Topology

SIGGRAPH 2001 COURSE NOTES SG1 PHYSICALLY BASED MODELING

Source URL: www.pixar.com

• Mathematical optimization
• Constraint
• Curvature