Constraint - PDFSEARCH.IO - Document Search Engine

Constraint
Results: 2322

#	Item
791	Journal of Artificial Intelligence Research520 Submitted 10/08; published 3/09 Exploiting Single-Cycle Symmetries in Continuous Constraint Problems Add to Reading List Source URL: jair.org Language: English - Date: 2009-03-31 16:57:43 Geometry Symmetry in mathematics Group Algorithm PROPT Local consistency Symmetry Mathematics Theoretical physics
792	A Soft Constraint of Equality: Complexity and Approximability? Emmanuel Hebrard, Barry O’Sullivan, and Igor Razgon Cork Constraint Computation Centre Department of Computer Science, University College Cork, Ireland {e. Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:30 Mathematics Local consistency Constraint satisfaction Constraint optimization Mathematical optimization Static single assignment form FO Variable Parameterized complexity Constraint programming Software engineering Theoretical computer science
793	Constraint Programming Emmanuel Hebrard Toulouse Outline Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2014-02-17 03:07:15 Computing Local consistency Backtracking Search algorithm Linear programming Constraint satisfaction Hidden transformation Constraint programming Software engineering Computer programming
794	Mode Directed Path Finding Irene M. Ong1 , Inˆes de Castro Dutra2 , David Page1, V´ıtor Santos Costa2 1 2 Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2006-07-20 15:45:54 Game artificial intelligence Constraint programming Network theory Shortest path problem Static single assignment form Hypergraph Pathfinding NP-complete problems Decomposition method Theoretical computer science Mathematics Graph theory
795	ACM/IEEE 12th Annual International Conference on Model Driven Engineering Languages and Systems MODELS 2009 Denver, Colorado, USA Add to Reading List Source URL: www.cs.colostate.edu Language: English - Date: 2009-09-29 18:28:36 Science Object Constraint Language Model-driven engineering Metamodeling Modeling language ECO Model-based testing Model-driven architecture Unified Modeling Language Software engineering Data modeling
796	Aleksandar Milicevic Contact Information 32 Vassar St, Office G706 Computer Science and Artificial Intelligence Laboratory Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-10-06 20:27:30 Programming paradigms Daniel Jackson Alloy Analyzer Alloy Declarative programming Imperative programming Programming language Constraint programming Computer program Computing Software engineering Computer programming
797	Horn Clause Solvers for Program Verification Nikolaj Bjørner, Arie Gurfinkel, Ken McMillan and Andrey Rybalchenko Microsoft Research, Software Engineering Institutute Abstract. Several recent symbolic model checking too Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2015-04-11 16:07:03 Logic in computer science Formal methods Mathematical logic Predicate logic Rules of inference Resolution Horn clause Predicate transformer semantics Constraint logic programming Theoretical computer science Mathematics Logic
798	Microsoft Word - ijita12-4.doc Add to Reading List Source URL: www.foibg.com Language: English - Date: 2015-02-02 08:42:08 Elementary mathematics Constraint programming Type theory Environment variable Function Differential of a function Constraint satisfaction problem Mathematics Algebra Variables
799	The Cost of Flattening with Common Subexpression Elimination Andrea Rendl, Ian Miguel and Ian P. Gent School of Computer Science, University of St Andrews, UK {andrea, ianm, ipg}@cs.st-andrews.ac.uk Add to Reading List Source URL: andrearendl.com Language: English - Date: 2013-08-29 08:24:37 B-tree Common subexpression elimination Computer programming Software engineering Computing Constraint programming Constraint satisfaction Flatten
800	COMPSCI 276 Homework Assignment 4 Fall 2014 Instructor: Rina Dechter Due:Wednesday, November 5th Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2014-10-31 16:15:19 Statistical models Bayesian network Networks Ordered graph Mathematical sciences Mathematics Bayesian statistics Constraint programming Graphical models

UPDATE