Solver - PDFSEARCH.IO - Document Search Engine

Solver
Results: 737

#	Item
731	PDF Document Add to Reading List Source URL: www.zib.de Language: English - Date: 2010-10-28 06:01:03 Applied mathematics Numerical software Linear programming Convex optimization SCIP Cutting-plane method Relaxation Algorithm Solver Mathematical optimization Operations research Mathematics
732	PDF Document Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:55 Logic in computer science Operations research Electronic design automation Formal methods NP-complete problems Boolean satisfiability problem Maximum satisfiability problem ZYpp Solver Theoretical computer science Applied mathematics Mathematics
733	PDF Document Add to Reading List Source URL: www.ensta-bretagne.fr Language: English - Date: 2013-04-02 03:11:07 Declarative programming Mathematical optimization Local consistency Constraint Solver Prolog Constraint satisfaction Quadratic programming Constraint programming Theoretical computer science Software engineering
734	PDF Document Add to Reading List Source URL: www.cs.rhul.ac.uk Language: English - Date: 2005-01-12 05:25:58 Travelling salesman problem NP-complete problems Approximation algorithms Operations research Graph Nearest neighbour algorithm Concorde TSP Solver Hamiltonian path Optimization problem Theoretical computer science Mathematics Graph theory
735	PDF Document Add to Reading List Source URL: staff.science.uva.nl Language: English - Date: 2006-11-16 10:32:03 Electronic design automation Formal methods Logic in computer science NP-complete problems Boolean algebra Boolean satisfiability problem Satisfiability Modulo Theories True quantified Boolean formula Solver Theoretical computer science Applied mathematics Mathematics
736	PDF Document Add to Reading List Source URL: pst.istc.cnr.it Language: English - Date: 2007-08-26 10:17:21 Electronic design automation Formal methods Logic in computer science NP-complete problems Boolean algebra Boolean satisfiability problem Satisfiability Modulo Theories Solver True quantified Boolean formula Theoretical computer science Applied mathematics Mathematics
737	PDF Document Add to Reading List Source URL: mailer.fsu.edu Language: English - Date: 2005-07-04 10:55:00 Education Cognitive science Problem solving Joachim Funke Herbert Simon Decision making Design Solver Psychology Science Educational psychology Neuropsychological assessment