Constraint - PDFSEARCH.IO - Document Search Engine

Constraint
Results: 2322

#	Item
851	Models and Strategies for Variants of the Job Shop Scheduling Problem Diarmuid Grimes1 and Emmanuel Hebrard2,3 1 3 Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2011-09-27 04:15:08 Applied mathematics Mathematics Constraint programming Job shop scheduling Boolean satisfiability problem Open shop scheduling Scheduling Shifting bottleneck heuristic Operations research Theoretical computer science Mathematical optimization
852	SATISFIABILITY-BASED PROGRAM REASONING AND PROGRAM SYNTHESIS by Saurabh Srivastava 1 Revised Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2010-10-26 18:47:17 Formal methods Logic in computer science Electronic design automation Constraint programming Satisfiability Modulo Theories Reasoning system Formal verification Solver Algorithm Theoretical computer science Applied mathematics Mathematics
853	The Generic Eclipse Modeling System Add to Reading List Source URL: www.eclipse.org Language: English - Date: 2014-03-11 15:27:39 Eclipse Unified Modeling Language Scientific modeling Systems engineering Generic Eclipse Modeling System Constraint programming Domain-specific modeling Graphical Modeling Framework Eclipse Modeling Framework Software engineering Computing Software
854	Satellite Data Download Management with Uncertainty about the Generated Volumes C´edric Pralet and G´erard Verfaillie and Adrien Maillard Onera, Toulouse, France Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2014-02-14 15:28:28 Applied mathematics Scheduling Business Constraint optimization Linear programming Automated planning and scheduling Government procurement in the United States Operations research Planning Scheduling algorithms
855	Alloy: A Higher-Order Relational Constraint Solver Aleksandar Milicevic Joseph P. Near Eunsuk Kang Add to Reading List Source URL: people.csail.mit.edu Language: English* - Date: 2014-09-09 16:16:23 Electronic design automation Formal methods Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories First-order logic Alloy Tree Theoretical computer science Mathematical logic Applied mathematics
856	Constraint Acquisition via Partial Queries keywords: Constraints, Modeling Abstract We propose to learn constraint networks by asking the user partial queries, that is, to classify assignments on subsets of the variables Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2013-01-30 05:47:45 Theoretical computer science Constraint satisfaction Constraint graph FO Constraint Decomposition method Constraint inference Constraint programming Software engineering Computer programming
857	REES User Manual Bayesian Network New Bayesian network: Add to Reading List Source URL: graphmod.ics.uci.edu Language: English - Date: 2009-05-11 14:03:27 Constraint programming Bayesian network Networks
858	2010 IEEE International Conference on Robotics and Automation Anchorage Convention District May 3-8, 2010, Anchorage, Alaska, USA Adaptive Admittance Control of a Robot Manipulator Under Task Space Constraint Add to Reading List Source URL: www1.i2r.a-star.edu.sg Language: English - Date: 2010-06-21 10:16:34 Kinematics Control theory Robot control
859	http://4c.ucc.ie/~rmarines/talks/tutorial-IJCAI-09-syllabus.pdf Combinatorial Optimization for Graphical Models Rina Dechter Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2009-08-12 01:12:13 Applied mathematics Operations research Mathematics Constraint optimization Optimization problem Relaxation Combinatorial optimization Local consistency Linear programming Mathematical optimization Constraint programming Theoretical computer science
860	Growing Solver-Aided Languages with ROSETTE Emina Torlak & Rastislav Bodik U.C. Berkeley Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:27:03 Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Satisfiability Modulo Theories AMPL Theoretical computer science Applied mathematics Software engineering

UPDATE