Constraint - PDFSEARCH.IO - Document Search Engine

Constraint
Results: 2322

#	Item
911	A General Scheme for Automatic Generation of Search Heuristics from Specification Dependencies ∗ Kalev Kask and Rina Dechter Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2001-04-25 16:34:08 Applied mathematics Decomposition method Constraint optimization Search algorithm A* search algorithm Constraint satisfaction problem Local search Heuristic function Constraint satisfaction Mathematics Theoretical computer science Constraint programming
912	Control of Nonlinear Systems with Full State Constraint Using a Barrier Lyapunov Function Add to Reading List Source URL: www1.i2r.a-star.edu.sg Language: English - Date: 2009-12-22 06:41:53 Nonlinear control Systems science Stability theory Mathematical optimization Operations research Backstepping Optimal control Lyapunov function State space Systems theory Control theory Cybernetics
913	Constraints Journal [Preprint] manuscript No. (will be inserted by the editor) Balancing Bike Sharing Systems with Constraint Programming Luca Di Gaspero · Andrea Rendl · Add to Reading List Source URL: andrearendl.com Language: English - Date: 2014-02-09 20:07:47 Network flow Applied mathematics FO Finite model theory Bicycle sharing system Flow network Theoretical computer science Constraint programming Software engineering
914	Microsoft PowerPoint - dod-sat-workshop.ppt [Compatibility Mode] Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2008-09-08 14:27:26 Mathematics Local consistency Constraint satisfaction Mathematical optimization Boolean satisfiability problem Belief propagation Bayesian network Graphical model Constraint optimization Constraint programming Theoretical computer science Software engineering
915	g01 – Simple Calculations on Statistical Data g01ftc NAG C Library Function Document nag_deviates_landau (g01ftc) Add to Reading List Source URL: www.softintegration.com Language: English - Date: 2004-10-25 19:49:07 Science Applied mathematics Information theory Knowledge Constraint logic programming Computational science Numerical analysis Interpolation
916	Quality Guarantees on k-Optimal Solutions for Distributed Constraint Optimization Problems Jonathan P. Pearce and Milind Tambe∗ University of Southern California Computer Science Department {, tambe@usc Add to Reading List Source URL: teamcore.usc.edu Language: English - Date: 2008-10-14 04:00:37 Applied mathematics Operations research Distributed constraint optimization Convex optimization Computational complexity theory Constraint satisfaction problem Linear programming Constraint optimization Combinatorial optimization Constraint programming Mathematical optimization Theoretical computer science
917	Filtering Algorithms for the NValue Constraint Christian Bessiere1 , Emmanuel Hebrard2 , Brahim Hnich3 , Zeynep Kiziltan4 , and Toby Walsh2 1 LIRMM-CNRS Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:28 Local consistency Constraint satisfaction Interval graph Linear programming Intersection graph Decomposition method Median graph Constraint programming Graph theory Theoretical computer science
918	νZ - Maximal Satisfaction with Z3 Nikolaj Bjørner1 and Anh-Dung Phan2∗ 1 2 Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-10-16 19:21:04 Formal methods Constraint programming Electronic design automation Logic in computer science NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Linear programming Mathematical optimization Theoretical computer science Applied mathematics Mathematics
919	J. LOGIC PROGRAMMING 1993:16:TOWARDS A MEANING OF LIFE? Add to Reading List Source URL: hassan-ait-kaci.net Language: English - Date: 2013-12-06 10:10:42 Lambda calculus Logic programming Functional programming Higher-order functions Model theory Unification Function Interpretation Constraint logic programming Software engineering Declarative programming Computing
920	Textual Inference by Combining Multiple Logic Programming Paradigms Chitta Baral Gregory Gelfond Michael Gelfond Add to Reading List Source URL: myweb.ttu.edu Language: English - Date: 2015-05-24 18:07:19 Science Reasoning Programming paradigms Constraint programming Non-classical logic Stable model semantics Prolog Inference Negation as failure Logic Logic programming Artificial intelligence

UPDATE