Constraint - PDFSEARCH.IO - Document Search Engine

Constraint
Results: 2322

#	Item
841	An Algorithm for Checking the Disjointness of Types Manfred Widera Fachbereich Informatik FernUniversität HagenHagen Germany Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Computing Data types Constraint programming Inference Program analysis Type system Type inference Function Monad Software engineering Type theory Mathematics
842	αRby : An Embedding of Alloy in Ruby Aleksandar Milicevic, Ido Efrati, and Daniel Jackson {aleks,idoe,dnj}@csail.mit.edu 1 Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-10-26 13:00:50 Alloy Z notation Constraint programming Ruby Application programming interface Software engineering Computer programming Computing
843	On solving mixed-integer constraint satisfaction problems with unbounded variables Hermann Schichl? , Arnold Neumaier, Mih´ aly Csaba Mark´ot, and Ferenc Domes Faculty of Mathematics, University of Vienna, Austria Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2013-01-14 04:38:39 Computing Constraint satisfaction Local consistency Mathematical optimization Projective space Transcendental number Linear programming Constraint logic programming Constraint programming Software engineering Computer programming
844	A language for Modular Information-passing Agents Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek and John-Jules Ch. Meyer Universiteit Utrecht, Department of Computer Science P.O. Box, 3508 TB Utrecht, T Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 1998-12-14 07:36:40 Constraint programming Declarative programming Symbol
845	Applications and Challenges in Satisfiability Modulo Theories Leonardo de Moura Microsoft Research One Microsoft Way Redmond, WA 98052 Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-09-16 13:35:41 Formal methods Mathematics Electronic design automation Logic in computer science NP-complete problems Satisfiability Modulo Theories Z3 Boolean satisfiability problem First-order logic Theoretical computer science Constraint programming Applied mathematics
846	Toward Local Search Programming: LocalSolver 1.0 Thierry Benoist1 , Bertrand Estellon2 , Fr´ed´eric Gardi1 , Karim Nouioua2 1 2 Add to Reading List Source URL: tbenoist.pagesperso-orange.fr Language: English - Date: 2011-03-16 02:41:44 Computing Constraint programming Search algorithm Mathematical optimization Solver Local search Boolean data type Travelling salesman problem ALGOL 68 Operations research Software engineering Theoretical computer science
847	Sanjit A. Seshia Curriculum Vitae Department of Electrical Engineering & Computer Sciences 253 Cory Hall #1770 University of California at Berkeley Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2014-08-15 04:37:07 Applied mathematics Constraint programming Theoretical computer science Electronic engineering Uclid
848	Snobfit – Stable Noisy Optimization by Branch and Fit WALTRAUD HUYER and ARNOLD NEUMAIER Universit¨at Wien The software package Snobfit for bound constrained (and soft constrained) noisy optimization Add to Reading List Source URL: www.mat.univie.ac.at Language: English - Date: 2007-11-30 11:24:09 Function Global optimization Constraint optimization MCS algorithm Multidisciplinary design optimization Mathematical optimization Mathematics Operations research
849	Sequencing Operator Counts Nir Lipovetzky Toby Davies, Adrian R. Pearce, Peter Stuckey National ICT Australia and The University of Melbourne Add to Reading List Source URL: people.eng.unimelb.edu.au Language: English - Date: 2015-03-31 00:25:28 Mathematical optimization Operations research Combinatorial optimization Convex optimization Linear programming Algorithm Constraint optimization A* search algorithm Relaxation Constraint programming Mathematics Applied mathematics
850	CLP( ): Constraint Logic Programming for Probabilistic Knowledge Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2003-07-18 18:10:02 Mathematics Constraint programming Logic programming Statistical models Reasoning Constraint logic programming CLP Relational model Prolog Software engineering Programming paradigms Logic

UPDATE