A DPLL(T ) Theory Solver for a Theory of Strings and Regular Expressions? Tianyi Liang1 , Andrew Reynolds1 , Cesare Tinelli1 , Clark Barrett2 , and Morgan Deters2 1 2

Source URL: lara.epfl.ch

A DPLL(T ) Theory Solver for a Theory of Strings and Regular Expressions? Tianyi Liang1 , Andrew Reynolds1 , Cesare Tinelli1 , Clark Barrett2 , and Morgan Deters2 1 2

Source URL: lara.epfl.ch

MINLP Solver Software Michael R. Bussieck and Stefan Vigerske GAMS Development Corp., 1217 Potomac St, NW Washington, DC 20007, USA , March 10, 2014

Source URL: www.math.hu-berlin.de

• Numerical analysis
• Mathematical optimization
• Mathematical software
• Numerical software
• Quadratic programming
• Linear programming
• Couenne
• Nl
• AMPL
• TOMLAB
• COIN-OR
• SCIP

Continually Adding Self-Invented Problems to the Repertoire: First Experiments with P OWER P LAY Rupesh Kumar Srivastava, Bas R. Steunebrink, Marijn Stollenga and J¨urgen Schmidhuber The Swiss AI Lab IDSIA University of

Source URL: people.idsia.ch

• Artificial neural networks
• Recurrent neural network
• Machine learning
• Perceptron
• Multilayer perceptron
• Creativity
• General Problem Solver

A PDE-constrained optimization approach to the discontinuous Petrov–Galerkin method with a trust region inexact Newton-CG solver

Source URL: users.ices.utexas.edu

Algorithm 9xx, FACTORIZE: an object-oriented linear system solver for MATLAB TIMOTHY A. DAVIS University of Florida The MATLABTM backslash (x=A\b) is an elegant and powerful interface to a suite of highperformance facto

Source URL: faculty.cse.tamu.edu

A DPLL(T) Theory Solver for Strings and Regular Expressions Tianyi Liang Andrew Reynolds Cesare Tinelli Morgan Deters

Source URL: lara.epfl.ch

A Divide-and-Conquer Solver for Kernel Support Vector Machines Cho-Jui Hsieh Si Si

Source URL: www.cs.utexas.edu

Frontline Solvers Tools for Excel Comparison Chart (We also have comparison charts available for our Academic products and our SDK products for developers.) Analytic Solver Platform l Conventional Optimization l Monte Ca

Source URL: www.solver.com

Frontline Solvers Optional Plug-in Solver Engines for Platform-Level Products (See by-engine descriptions on www.solver.com for full range of problems each engine will solve) By Solver Engine By Problem Type

Source URL: www.solver.com