Constraint - PDFSEARCH.IO - Document Search Engine

Constraint
Results: 2322

#	Item
861	Efficient Analyses for Realistic Off-Line Partial Evaluation: Extended Version DIKU technical report 93/4, ISSNAnders Bondorf & Jesper Jørgensen DIKU, Department of Computer Science, University of Copenhagen, Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:55 Computer programming Data-flow analysis Type system Lambda calculus Closure Constraint logic programming Constraint satisfaction Software engineering Constraint programming Computing
862	Scheduling and SAT Emmanuel Hebrard Toulouse Outline Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2014-02-17 02:59:42 Constraint programming Logic in computer science NP-complete problems Boolean algebra Boolean satisfiability problem Electronic design automation Satisfiability NP-complete Model checking Theoretical computer science Applied mathematics Computational complexity theory
863	1924 Goldschmidt Conference Abstracts Aerosol mass spectrometer constraint on the global secondary organic Add to Reading List Source URL: goldschmidt.info Language: English - Date: 2011-09-22 14:21:38 Aerosol science Aerosol Physical chemistry
864	Microsoft Word - Batch forming _SIMMOD 2005_.doc Add to Reading List Source URL: www.mssanz.org.au Language: English - Date: 2013-01-15 21:50:28 Computing Constraint satisfaction Local search Scheduling Candidate solution Constraint Mathematical optimization Constraint programming Software engineering Computer programming
865	Automated Feedback Generation for Introductory Programming Assignments Rishabh Singh Sumit Gulwani Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2013-06-06 20:41:57 Mathematical analysis Function Constraint logic programming Unification Exponentiation Derivative Mathematics Logic programming Functions and mappings
866	How I Entered Constraints (and Met Ugo at the Doorway): Some of the Early Milestones Rina Dechter UC-Irvine Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2008-09-08 14:27:27 Software engineering Local consistency Flow network A* search algorithm Heuristic Constraint Decomposition method Complexity of constraint satisfaction Constraint programming Artificial intelligence Graph theory
867	9 On the Power of Belief Propagation: A Constraint Propagation Perspective R. D ECHTER , B. B IDYUK , R. M ATEESCU Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2012-01-25 15:39:31 Local consistency Probability theory Bayesian statistics Statistical models Belief propagation Bayesian network Tree decomposition Constraint satisfaction problem Flow network Graph theory Constraint programming Graphical models
868	Robust Solutions for Constraint Satisfaction and Optimization Emmanuel Hebrard and Brahim Hnich and Toby Walsh 12 Abstract. Super solutions are a mechanism to provide robustness to constraint programsThey are solu Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:32 Computing Constraint satisfaction problem Constraint satisfaction Local consistency Backtracking Optimization problem Mathematical optimization Min-conflicts algorithm Linear programming relaxation Constraint programming Software engineering Computer programming
869	Dimensions in Program Synthesis [Invited Talk Paper] Sumit Gulwani Microsoft Research, Redmond, WA, USA Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2010-06-02 04:17:08 Artificial intelligence Programming paradigms Cybernetics Formal methods Logic in computer science Algorithm Synthesizer Program synthesis Computer Software engineering Constraint programming Computing
870	Metaheuristics for solving a Multimodal Home-Health Care Scheduling Problem Gerhard Hiermann∗, Andrea Rendl†, Matthias Prandtstetter†, Jakob Puchinger†and G¨ unther Raidl‡ November 7, 2011 Add to Reading List Source URL: andrearendl.com Language: English - Date: 2013-09-23 07:14:30 Numerical analysis Science Applied mathematics Search algorithms Constraint programming Genetic algorithm Memetic algorithm Hyper-heuristic Local search Operations research Mathematical optimization Heuristics

UPDATE