Backtracking - PDFSEARCH.IO - Document Search Engine

Backtracking
Results: 159

#	Item
31	Two Problems - Two Solutions: One System ECLiPSe Mark Wallace and Andre Veron AprilIntroduction Add to Reading List Source URL: eclipseclp.org Language: English - Date: 2015-04-07 09:30:53 Computer programming Constraint satisfaction Constraint logic programming Local consistency ECLiPSe CHIP Constraint Backtracking Logic programming Constraint programming Declarative programming Software engineering
32	Quadratic-backtracking Algorithm for String Reconstruction from Substring Compositions Jayadev Acharya Hirakendu Das Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-09-27 10:06:18 Multiset Backtracking Probabilistic complexity theory Mathematics String Substring
33	A Constraint Seeker: Finding and Ranking Global Constraints from Examples Nicolas Beldiceanu1 and Helmut Simonis2? 1 Mines de Nantes, LINA UMR 6241, FRNantes, France Add to Reading List Source URL: 4c.ucc.ie Language: English - Date: 2011-04-27 04:50:42 Computing Constraint satisfaction problem Constraint Binary constraint Backtracking Constraint satisfaction Constraint logic programming Constraint programming Software engineering Computer programming
34	SciFe: Scala Framework for Efficient Enumeration of Data Structures with Invariants Ivan Kuraj ABSTRACT We introduce SciFe, a tool for automated generation of complex structures, suitable for tasks such as automated test Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-09-13 07:09:29 Higher-order functions Search algorithms Data types Type theory Enumerated type Backtracking Generator Brute-force search Combinatory logic Computing Software engineering Computer programming
35	Constraints as Control Ali Sinan K¨oksal Viktor Kuncak Philippe Suter ∗ Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-11-14 09:20:17 Software engineering Constraint logic programming Constraint satisfaction problem Satisfiability Modulo Theories Backtracking Prolog Constraint Lambda calculus Constraint satisfaction Constraint programming Declarative programming Theoretical computer science
36	SAT and Hybrid models of the Car Sequencing problem Christian Artigues1,2 , Emmanuel Hebrard1,2 , Valentin Mayer-Eichberger3,4 , Mohamed Siala1,5 , and Toby Walsh3,4 1 CNRS, LAAS, 7 avenue du colonel Roche, FToul Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2014-02-14 15:26:57 Computer programming Local consistency Backtracking Constraint learning Propagator Boolean satisfiability problem Constraint programming Theoretical computer science Software engineering
37	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
38	Constraint Programming Emmanuel Hebrard Toulouse Outline Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2014-02-17 03:07:15 Computing Local consistency Backtracking Search algorithm Linear programming Constraint satisfaction Hidden transformation Constraint programming Software engineering Computer programming
39	Weighted Constraint Satisfaction Problems with Min-Max Quantifiers∗ Jimmy H.M. Lee & Terrence W.K. Mak Department of Computer Science and Engineering The Chinese University of Hong Kong Shatin, N.T., Hong Kong {jlee,wk Add to Reading List Source URL: www.tmak.info Language: English - Date: 2013-10-06 08:30:44 Computing Local consistency Constraint optimization Constraint satisfaction problem Constraint satisfaction Backtracking Branch and bound Pruning Decomposition method Constraint programming Software engineering Computer programming
40	Computing Nearest-Neighbor Fields via Propagation-Assisted KD-Trees Kaiming He Jian Sun Microsoft Research Asia Abstract Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-03-19 08:26:17 Information retrieval K-d tree Backtracking Nearest neighbor search Bin Locality-sensitive hashing T-tree Algorithm K-nearest neighbor algorithm Search algorithms Information science Mathematics