Constraint - PDFSEARCH.IO - Document Search Engine

Constraint
Results: 2322

#	Item
811	Structural Decomposition Methods and What They are Good For Markus Aschinger1 , Conrad Drescher1 , Georg Gottlob1,2 , Peter Jeavons1 , and Evgenĳ Thorstensen1 1 Computing Laboratory, University of Oxford 2 Oxford Man In Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:34:11 Graph operations Tree decomposition Decomposition method Path decomposition Parameterized complexity Constraint satisfaction problem Bipartite graph Hypertree Hypergraph Graph theory Theoretical computer science Constraint programming
812	Journal of Artificial Intelligence Research Submitted 04/08; publishedAsynchronous Forward Bounding for Distributed COPs Amir Gershman Add to Reading List Source URL: jair.org Language: English - Date: 2009-02-10 12:35:28 Computing Local consistency Constraint optimization Distributed constraint optimization Constraint satisfaction problem Backjumping Assignment Search algorithm Branch and bound Constraint programming Software engineering Computer programming
813	DIMACS Series in Discrete Mathematics and Theoretical Computer Science Using Global Constraints for Local Search Alexander Nareyek Abstract. Conventional ways of using local search are dicult to generalize. Add to Reading List Source URL: www.ai-center.com Language: English - Date: 2010-04-02 04:54:45 Computing Constraint satisfaction Constraint optimization Local search Mathematical optimization Constraint Local consistency Constraint logic programming Constraint programming Software engineering Computer programming
814	Program Verification as Satisfiability Modulo Theories Nikolaj Bjørner Microsoft Research Ken McMillan Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-08-15 16:20:10 Applied mathematics Electronic design automation Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Boolean satisfiability problem Prolog Predicate transformer semantics Theoretical computer science Mathematics Formal methods
815	Problem Solving in Graphical models Rina Dechter, Donald Bren School of Information and Computer Science, UC-Irvine Graphical models, including constraint networks, belief networks, Markov random fields and influence Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2012-12-28 02:42:27 Theoretical computer science Bayesian statistics Networks Probability and statistics Applied mathematics Bayesian network Probabilistic logic Algorithm Decomposition method Statistics Graphical models Statistical models
816	The Balance Constraint Family Christian Bessiere1 , Emmanuel Hebrard2 , George Katsirelos3 , Zeynep Kiziltan4 , ´ Emilie Picard-Cantin5 , Claude-Guy Quimper5 , and Toby Walsh6 1 Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2014-05-28 03:25:20 Constraint logic programming Constraint programming Local consistency Decomposition method
817	An Elegant and Efficient Implementation of RDS for VWCSP Add to Reading List Source URL: tbenoist.pagesperso-orange.fr Language: English - Date: 2008-07-09 00:55:59 Computing Constraint satisfaction Constraint optimization Local consistency Local search Mathematical optimization Decomposition method Constraint Composite Graph Constraint programming Software engineering Computer programming
818	Self-accelerating Massive Gravity: Covariant Perturbation Theory Pavel Motloch1 and Wayne Hu2 1 arXiv:1409.2204v2 [hep-th] 29 Oct 2014 Add to Reading List Source URL: background.uchicago.edu Language: English - Date: 2015-01-06 12:05:31 Partial differential equations Symbol Einstein field equations Lagrangian Minkowski space Gauge theory First class constraint Metric tensor Orbifold Physics Theoretical physics General relativity
819	SimpleSVM A SVM Training Algorithm S.V.N. Vishwanathan National ICT Australia and Add to Reading List Source URL: www.stat.purdue.edu Language: English - Date: 2009-08-21 20:39:08 Active set Constraint Duality Support vector machine Mathematical optimization Mathematical analysis Numerical analysis
820	Fast Binding-Time Analysis for Multi-Level Specialization Robert Gl¨ uck1 and Jesper Jørgensen2 1 Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:05 Systems theory Constraint programming Dynamical system Systems

UPDATE