Constraint - PDFSEARCH.IO - Document Search Engine

Constraint
Results: 2322

#	Item
871	Solving Disjunctive Constraints for Interactive Graphical Applications Kim Marriott1 , Peter Moulder 1 , Peter J. Stuckey2 , and Alan Borning 3 3 Add to Reading List Source URL: constraints.cs.washington.edu Language: English - Date: 2001-09-10 14:24:26 Computer programming Computing Mathematical optimization Simplex algorithm Constraint satisfaction problem Slack variable Algorithm Cassowary Constraint satisfaction Constraint programming Operations research Software engineering
872	The Range Constraint: Algorithms and Implementation Christian Bessiere1 , Emmanuel Hebrard2 , Brahim Hnich3 , Zeynep Kiziltan4 , and Toby Walsh2 1 Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:31 Computing Local consistency Constraint satisfaction problem Constraint satisfaction Maximum flow problem Constraint inference Constraint programming Software engineering Computer programming
873	νZ - An Optimizing SMT Solver Nikolaj Bjørner1 , Anh-Dung Phan2 , and Lars Fleckenstein3 1 Microsoft Research, Redmond, WA, USA DTU Compute, Technical University of Denmark Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2015-01-22 06:10:53 Operations research Constraint programming Electronic design automation Formal methods NP-complete problems Satisfiability Modulo Theories Mathematical optimization Linear programming Boolean satisfiability problem Theoretical computer science Applied mathematics Mathematics
874	10 TECHNOLOGY IRELANDForeseeing problems, finding choices multinational involved Add to Reading List Source URL: www.cse.cuhk.edu.hk Language: English - Date: 2007-06-23 04:49:34 Declarative programming Alcatel-Lucent Sudoku E-procurement Computing Business Constraint programming Mathematics Recreational mathematics
875	Disjoint, Partition and Intersection Constraints for Set and Multiset Variables Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:29 Software engineering Local consistency Multiset Boolean satisfiability problem Cardinality Decomposition method Linear programming relaxation Constraint programming Theoretical computer science Mathematics
876	Mechanical constraint model of seed coat dormancy in Grevillea Add to Reading List Source URL: aff.org.au Language: English - Date: 2011-02-27 18:27:15 Plant morphology Seeds Plant sexuality Seed Plant physiology Germination Radicle Dormancy Grevillea Biology Botany Plant reproduction
877	Engineering Theories with Z3? Nikolaj Bjørner Microsoft Research Abstract. Modern Satisfiability Modulo Theories (SMT) solvers are Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-10-17 17:03:30 Formal methods Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Vehicle Identification Number Theoretical computer science Applied mathematics Electronic design automation
878	Rina Dechter 1 Introduction: • The constraint network model Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2008-09-08 14:27:28 Theoretical computer science Constraint graph Decomposition method Hypergraph Bayesian network Constraint inference Constraint programming Software engineering Computer programming
879	Local Search and Constraint Programming for the Post Enrolment-based Course Timetabling Problem? Hadrien Cambazard, Emmanuel Hebrard, Barry O’Sullivan and Alexandre Papadopoulos Cork Constraint Computation Centre Depar Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2011-12-15 12:54:32 Mathematics Applied mathematics Local search Constraint Graph coloring Candidate solution Constraint programming Mathematical optimization Theoretical computer science
880	Journal of Object Technology Published by AITO — Association Internationale pour les Technologies Objets http://www.jot.fm/ Babelsberg: Specifying and Solving Constraints on Object Behavior Add to Reading List Source URL: www.jot.fm Language: English - Date: 2014-08-21 12:43:43 Computer programming Constraint logic programming Kaleidoscope Constraint satisfaction problem Cassowary Constraint Prolog Satisfiability Modulo Theories Constraint satisfaction Constraint programming Declarative programming Software engineering

UPDATE