Constraint - PDFSEARCH.IO - Document Search Engine

Constraint
Results: 2322

#	Item
901	Complex Sy st ems370 Chaos- b a se d Learning Paul F . M . J. Verschure* Institu te for Inform atics, University of Zurich, Win terthur erst raJ3e 190, CH-8057 Zurich, Switzerland Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:31:28 Science Computational science Chaos theory Constraint algorithm
902	Tailoring Solver-independent Constraint Models: A Case Study with Essence0 and Minion Ian P. Gent, Ian Miguel and Andrea Rendl School of Computer Science, University of St Andrews, UK {ipg, ianm, andrea} @cs.st-andrews.a Add to Reading List Source URL: andrearendl.com Language: English - Date: 2013-08-29 08:24:54 Artificial intelligence Minion Applied mathematics Local consistency PROPT Constraint programming Computing Constraint satisfaction
903	On Backdoors To Tractable Constraint Languages Clement Carbonnel1,3 , Martin C. Cooper2 , and Emmanuel Hebrard1 1 3 Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2014-05-28 03:24:32 Applied mathematics Parameterized complexity Constraint satisfaction problem Constraint satisfaction Idempotence Local consistency P versus NP problem Sheaf Complexity of constraint satisfaction Constraint programming Mathematics Theoretical computer science
904	July 1, :0 World Scientific Review Volume - 9.75in x 6.5in Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2007-02-26 08:32:54 Software architecture ISO standards Knowledge representation ECO Object Constraint Language Class Stereotype Diagram Object-oriented analysis and design Software engineering Object-oriented programming Unified Modeling Language
905	Automatically Enhancing Constraint Model Instances during Tailoring Andrea Rendl, Ian Miguel, Ian P. Gent Chris Jefferson School of Computer Science, University of St Andrews, UK Add to Reading List Source URL: andrearendl.com Language: English - Date: 2013-08-29 08:25:07 Logic programming Constraint satisfaction Local consistency Common subexpression elimination SCIP ECLiPSe Constraint programming Declarative programming Software engineering
906	AVACS – Automatic Verification and Analysis of Complex Systems REPORTS of SFB/TR 14 AVACS Editors: Board of SFB/TR 14 AVACS Add to Reading List Source URL: www.avacs.org Language: English - Date: 2013-02-12 08:10:24 Applied mathematics Logic in computer science Constraint programming Electronic design automation NP-complete problems Interpolation Craig interpolation Satisfiability Modulo Theories Mathematical proof Theoretical computer science Mathematics Mathematical logic
907	Distributed Algorithms for DCOP: A Graphical-Game-Based Approach Rajiv T. Maheswaran, Jonathan P. Pearce and Milind Tambe Department of Computer Science University of Southern California Los Angeles, CA, 90089 Add to Reading List Source URL: teamcore.usc.edu Language: English - Date: 2008-10-14 03:56:56 Distributed constraint optimization Constraint optimization Local search Constraint programming Mathematical optimization Operations research
908	Journal of Artificial Intelligence Research Submitted 10/10; publishedSoft Constraints of Difference and Equality Emmanuel Hebrard Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2011-06-09 12:13:27 Computer programming Local consistency Constraint satisfaction Mathematical optimization FO Polynomial Parameterized complexity Decomposition method AC-3 algorithm Constraint programming Software engineering Theoretical computer science
909	Mini-Buckets: A General Scheme for Generating Approximations in Automated Reasoning Rina Dechter Department of Information and Computer Science University of California, Irvine Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2000-11-14 17:35:41 Constraint optimization Mathematical optimization Mathematics Computer programming Local consistency Bayesian network Bucket Bucket sort Radix sort Constraint programming Computing Sorting algorithms
910	Constraint Programming and Combinatorial Optimisation in Numberjack Emmanuel Hebrard1,2 , Eoin O’Mahony1 , and Barry O’Sullivan1 1 Cork Constraint Computation Centre Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:32 Applied mathematics Numerical analysis Numerical software Declarative programming SCIP Mathematical optimization Linear programming Constraint satisfaction Operations research Constraint programming Software engineering

UPDATE