Constraint - PDFSEARCH.IO - Document Search Engine

Constraint
Results: 2322

#	Item
711	A Model Seeker: Extracting Global Constraint Models From Positive Examples Nicolas Beldiceanu and Helmut Simonis TASC team (INRIA/CNRS), Mines de Nantes, France Cork Constraint Computation Centre Department of Computer S Add to Reading List Source URL: 4c.ucc.ie Language: English - Date: 2012-10-12 20:09:59 E Constraint programming Mathematics Mathematical optimization Constraint Cardinality
712	Semantic Acyclicity on Graph Databases Pablo Barceló Miguel Romero Moshe Vardi Add to Reading List Source URL: users.dcc.uchile.cl Language: English - Date: 2013-04-07 12:16:44 Database theory Decomposition method Theoretical computer science Directed graph Structure Mathematical logic Constraint programming Mathematics Conjunctive query
713	Scwm: An Extensible Constraint-Enabled Window Manager Greg J. Badros InfoSpace.com 2801 Alaskan Way, Suite 200 Seattle, WA 98121, USA Add to Reading List Source URL: www.badros.com Language: English - Date: 2001-02-16 17:19:10 Graphical user interfaces Constraint programming Cassowary Scwm X window manager FVWM Emacs Lisp Emacs SCIP Software System software Computing
714	Out of bounds multistate constraint based modelling Add to Reading List Source URL: sbml.org Language: English - Date: 2010-10-09 03:44:46 SBML Science Computing Systems biology Bioinformatics Flux balance analysis
715	Q IWA Publishing 2007 Journal of Hydroinformatics \| 09.3 \| Dynamic penalty function as a strategy in solving water resources combinatorial optimization problems with Add to Reading List Source URL: www.iwaponline.com Language: English - Date: 2007-06-08 03:13:08 Numerical analysis Cybernetics Operations research Heuristics Constraint programming Genetic algorithm Combinatorial optimization Constraint optimization Penalty method Mathematical optimization Applied mathematics Mathematics
716	The Ciao Approach to the Dynamic vs. Static Language Dilemma (Position/System/Demo Paper1 ) M. V. Hermenegildo1,2 F. Bueno1 M. Carro1 P. L´opez-Garc´ıa2,4 E. Mera3 J. F. Morales2 G. Puebla1 1 Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2011-01-16 04:21:35 Programming paradigms Type theory Functional languages Logic in computer science Ciao Assertion Constraint programming Type system Programming language Software engineering Computing Computer programming
717	Answer Set Programming Answer Set Programs Answer Set Semantics Implementation Techniques Using Answer Set Programming Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2012-04-02 08:23:44 Computing Answer set programming Stable model semantics Prolog DLV Constraint satisfaction Logic programming Software engineering Computer programming
718	Comparing Solution Methods for the Machine Reassignment Problem Deepak Mehta, Barry O’Sullivan, and Helmut Simonis Cork Constraint Computation Centre, University College Cork, Ireland {d.mehta\|b.osullivan\|h.simonis}@4c Add to Reading List Source URL: 4c.ucc.ie Language: English - Date: 2012-10-12 20:10:48 Linear programming Local consistency Mathematics Applied mathematics Theoretical computer science Mathematical optimization Models of computation Convex optimization Operations research Constraint programming
719	ProcInternational Conference on Logic Programming, pp. 631–645, MIT Press. Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems1 Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2003-02-05 05:51:42 Constraint programming Logic programming Programming paradigms Actor model Prolog Constraint logic programming Unification Variable Free variables and bound variables Software engineering Computing Computer programming
720	Reverse Execution With Constraint Solving Raluca Sauciuc George Necula Electrical Engineering and Computer Sciences Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2013-05-12 14:29:36 Declarative programming Satisfiability Modulo Theories Type system Prolog Symbolic execution Linear programming Theoretical computer science Software engineering Constraint programming

UPDATE