Solver - PDFSEARCH.IO - Document Search Engine

Solver
Results: 737

#	Item
561	Seven Challenges in Parallel SAT Solving∗ Youssef Hamadi and Christoph M. Wintersteiger Microsoft Research 7 JJ Thomson Avenue Cambridge CB3 0FB United Kingdom Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2012-09-29 08:42:50 Logic in computer science Electronic design automation Formal methods NP-complete problems Operations research Boolean satisfiability problem Solver Satz GRASP Theoretical computer science Applied mathematics Mathematics
562	An HLLC Riemann Solver for Magnetohydrodynamics Shengtai Li Theoretical Division, MS B284, Los Alamos National Laboratory, Los Alamos, NM 87545 Add to Reading List Source URL: math.lanl.gov Language: English - Date: 2004-10-22 11:20:34 Hyperbolic partial differential equations Numerical analysis Riemann solver Magnetohydrodynamics Riemann problem Euler equations Computational fluid dynamics Fluid dynamics Physics
563	PDF Document Add to Reading List Source URL: www.gams.com Language: English - Date: 2014-09-02 04:00:18 Mathematics Numerical software Theoretical computer science Convex optimization Linear programming Solver Karush–Kuhn–Tucker conditions MEMO Model Operations research Mathematical optimization Applied mathematics
564	OQNLP and MSNLP Optimal Methods Inc, 7134 Valburn Dr., Austin, TX[removed]www.optimalmethods.com, [removed]OptTek System, Inc., 1919 7th St., Boulder, CO 80302, www.opttek.com, [removed]Contents 1 Add to Reading List Source URL: www.gams.com Language: English - Date: 2014-09-02 04:00:18 Numerical software Theoretical computer science Convex optimization Linear programming Mathematical optimization Iteration Solver Operations research Applied mathematics Mathematics
565	Microsoft Word - Time_perc04final.doc Add to Reading List Source URL: www.pearsonmylabandmastering.com Language: English - Date: 2014-10-24 07:27:39 Problem solving Educational psychology Numerical software Solver
566	76 July 2000/Vol. 43, No. 7 COMMUNICATIONS OF THE ACM a Add to Reading List Source URL: www.dgp.toronto.edu Language: English - Date: 2001-09-18 17:42:08 Fluid mechanics Aerodynamics Atmospheric dynamics Navier–Stokes equations Fluid simulation Viscosity Advection Riemann solver Coolfluid Fluid dynamics Computational fluid dynamics Calculus
567	A Simple Fluid Solver based on the FFT Jos Stam Alias wavefront 1218 Third Ave, 8th Floor, Seattle, WA 98101 Add to Reading List Source URL: www.dgp.toronto.edu Language: English - Date: 2001-09-26 15:33:28 Digital signal processing Joseph Fourier Aerodynamics Integral transforms Fourier analysis Fourier transform Viscosity MEMO Model Turbulence Mathematical analysis Physics Mathematics
568	©Gaia Squarci Microsoft Server Administrator The Microsoft Server Administrator program is designed to prepare a person to work as a server administrator and problem solver at a Add to Reading List Source URL: www.wsblind.org Language: English - Date: 2014-04-28 09:17:33 Windows Windows Server Active Directory Distributed File System Server Microsoft Certified Professional Windows Small Business Server Microsoft Windows System software Software
569	CBC CBC (COIN-OR Branch and Cut) is an open-source mixed integer programming solver working with the COIN-OR LP solver CLP and the COIN-OR Cut generator library C GL. The code has been written primarily by John J. Forres Add to Reading List Source URL: www.gams.com Language: English - Date: 2014-09-22 04:20:09 Numerical analysis COIN-OR Linear programming Branch and cut Cutting-plane method Greedy algorithm MPS Algorithm Heuristic function Mathematical optimization Operations research Mathematics
570	GAMSCHK Abridged GAMSCHK USER DOCUMENTATION - Version 1.1 A System for Examining the Structure and Solution Properties of Linear Programming Problems Solved using GAMS Bruce A. McCarl, Professor, Department of Agricultur Add to Reading List Source URL: www.gams.com Language: English - Date: 2014-09-02 04:00:18 Applied mathematics Convex optimization Linear programming Differential equation Nonlinear system Equations TK Solver General Algebraic Modeling System Mathematics Operations research Elementary algebra

UPDATE