Constraint - PDFSEARCH.IO - Document Search Engine

Constraint
Results: 2322

#	Item
251	Surrogate-Assisted Derivative-Free Optimization for Engineering Design Add to Reading List Source URL: www.irccyn.ec-nantes.fr Language: English - Date: 2015-04-27 04:28:00 Mathematical optimization Operations research Constraint
252	Language Fuzzing Using Constraint Logic Programming Kyle Dewey Jared Roesch Ben Hardekopf Add to Reading List Source URL: jroesch.github.io Language: English - Date: 2016-04-16 20:16:50 Software engineering Declarative programming Computer programming Constraint logic programming Constraint programming Logic programming Programming paradigms Formal languages CLP Prolog Context-free grammar JavaScript
253	Optimal Control under a Dynamic Fuel Constraint By Peter Bank∗ First draft: September, 2003 This version: September 1, 2004 Add to Reading List Source URL: page.math.tu-berlin.de Language: English Statistical theory Greek letters Theta Loss function Completeness Science Information
254	Sentient Sketchbook: Computer-Aided Game Level Authoring Antonios Liapis Georgios N. Yannakakis Add to Reading List Source URL: antoniosliapis.com Language: English - Date: 2014-12-01 05:18:59 Software Mathematical optimization Information science Information retrieval Candidate solution Genetic algorithm Personalization Google Maps Constraint Evolutionary computation Neuroevolution
255	Chapter 2 A Static Checker for Safe Pattern Matching in Haskell Neil Mitchell and Colin Runciman 2.1 Abstract: A Haskell program may fail at runtime with a pattern-match error if Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Functional programming Recursion Type theory Computability theory Theoretical computer science Fold Algebraic data type Pattern matching Constraint logic programming
256	Fast d-DNNF Compilation with sharpSAT Christian Muise Sheila McIlraith J. Christopher Beck Add to Reading List Source URL: www.haz.ca Language: English - Date: 2013-10-28 07:18:32 Theoretical computer science Mathematics Formal methods Constraint programming Boolean algebra Automated theorem proving DPLL algorithm Binary decision diagram Exponential time hypothesis Computational complexity theory Bayesian network Distribution
257	Automatic Generation of Test Models and Properties from UML Models with OCL Constraints Miguel A. Francisco Laura M. Castro Add to Reading List Source URL: st.inf.tu-dresden.de Language: English - Date: 2012-09-25 06:20:12 Software testing QuickCheck Object Constraint Language Model-based testing Postcondition Random testing Design by contract ECO Unit testing Unified Modeling Language Object Process Methodology Test automation
258	BRIDGES Mathematical Connections in Art, Music, and Science Geometrical Poetry Add to Reading List Source URL: archive.bridgesmathart.org Language: English - Date: 2014-07-01 10:12:42 Analytic geometry Algebraic curves Geometry Computer-aided design Curves Constraint Hyperbola Pi Limaon Perspective Plane
259	Solving Geometry Problems using a Combination of Symbolic and Numerical Reasoning Shachar Itzhaky1 , Sumit Gulwani2 , Neil Immerman3 , and Mooly Sagiv1 1 Add to Reading List Source URL: www.cs.tau.ac.il Language: English Mathematical logic Programming paradigms Algorithm Theoretical computer science Axiom Euclidean geometry Logic programming Constraint satisfaction Constraint programming Satisfiability modulo theories Foundations of geometry
260	Experimental evaluation of modern variable selection strategies in Constraint Satisfaction Problems Thanasis Balafoutis1 and Kostas Stergiou1 Department of Information & Communication Systems Engineering University of th Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-11-28 08:00:26 Constraint programming Operations research Constraint satisfaction problem Local consistency Mathematical optimization Heuristic Integer programming Constraint satisfaction Search algorithm Local search Look-ahead Decomposition method

UPDATE