Constraint - PDFSEARCH.IO - Document Search Engine

Constraint
Results: 2322

#	Item
781	Buffered Resource Constraint: Algorithms and Complexity Christian Bessiere1 , Emmanuel Hebrard2 , Marc-Andr´e M´enard3 , Claude-Guy Quimper3 , and Toby Walsh4 1 Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2014-02-13 08:25:28 Local consistency Mathematics Flow network Applied mathematics Theoretical computer science Constraint programming Network flow Operations research
782	An Introduction to Satisfiability Modulo Theories Clark Barrett and Sanjit Seshia ICCAD 2009 Tutorial – p. 1/78 Add to Reading List Source URL: www.cs.nyu.edu Language: English - Date: 2011-05-26 11:35:50 Electronic design automation Logic in computer science Satisfiability Modulo Theories Theoretical computer science Applied mathematics Constraint programming
783	cKanren miniKanren with Constraints Claire E. Alvis Jeremiah J. Willcock Kyle M. Carter William E. Byrd Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-10 19:23:47 Computer programming Constraint logic programming Function Constraint satisfaction problem FO Free variables and bound variables Sheaf AC-3 algorithm Constraint satisfaction Constraint programming Software engineering Mathematics
784	The ROOTS Constraint Christian Bessiere1 , Emmanuel Hebrard2 , Brahim Hnich3 , Zeynep Kiziltan4 , and Toby Walsh5 1 3 Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:29 Constraint satisfaction Decomposition method Constraint inference Constraint programming Local consistency Constraint satisfaction problem
785	Articles Agents, Bodies, Constraints, Dynamics, and Evolution Alan K. Mackworth Add to Reading List Source URL: www.aaai.org Language: English - Date: 2009-03-24 16:45:42 Artificial intelligence Computer science Science Alan Mackworth Constraint programming Constraint satisfaction Association for the Advancement of Artificial Intelligence
786	Goldschmidt Conference Abstracts Time constraint on Brunhes-Matuyama inversion inferred by U-Series disequilibrium Add to Reading List Source URL: goldschmidt.info Language: English - Date: 2011-09-22 15:09:24 Economic geology Brunhes–Matuyama reversal Mineral exploration Geology Science Pleistocene Paleomagnetism Geophysics
787	Super Solutions in Constraint Programming Emmanuel Hebrard, Brahim Hnich, and Toby Walsh? Cork Constraint Computation Centre University College Cork {e.hebrard, brahim, tw}@4c.ucc.ie Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:31 Mathematics Constraint satisfaction Local consistency Constraint optimization Mathematical optimization Polynomial Function Boolean satisfiability problem AC-3 algorithm Constraint programming Software engineering Theoretical computer science
788	Distance Constraints in Constraint Satisfaction Emmanuel Hebrard 4C, Computer Science Dept. UCC, Ireland Barry O’Sullivan Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:33 Computing Local consistency Constraint satisfaction Backtracking Mathematical optimization Decomposition method Constraint optimization Constraint programming Software engineering Computer programming
789	Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 19:11:23 Automated theorem proving Constraint programming Formal methods Logic in computer science Electronic design automation DPLL algorithm Satisfiability Modulo Theories Boolean satisfiability problem Resolution Theoretical computer science Mathematics Mathematical logic
790	Advances in Bayesian Network Learning using Integer Programming Mark Barlett Dept of Computer Science & York Centre for Complex Systems Analysis University of York, UK Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2013-05-28 12:15:25 Mathematics Linear programming Constraint programming Convex optimization Combinatorial optimization Linear programming relaxation Cutting-plane method Bayesian network SCIP Mathematical optimization Operations research Applied mathematics

UPDATE