Solver - PDFSEARCH.IO - Document Search Engine

Solver
Results: 737

#	Item
271	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
272	Microsoft PowerPoint - HerouxAdvancedTrilinosORNLOct2007 [Read-Only] Add to Reading List Source URL: www.csm.ornl.gov Language: English - Date: 2007-10-18 10:04:28 Mathematical software Numerical linear algebra Trilinos Solver Lis Portable Extensible Toolkit for Scientific Computation Software Numerical software Numerical analysis
273	A Lightweight Symbolic Virtual Machine for Solver-Aided Host Languages Emina Torlak Rastislav Bodik Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Formal methods Abstract interpretation Symbolic execution Functional languages Models of computation Model checking Function Programming language Test Mathematics Theoretical computer science Computing
274	STEWART A. BERMAN _ _www.saberman.com_ Desktop / Client Software Developer A developer and proven problem solver with extensive experience in creating and fixing desktop systems and tools. Solid backgrou Add to Reading List Source URL: www.saberman.com Language: English - Date: 2014-02-02 04:16:37 Microsoft Excel Sybase Oracle Database Oracle Corporation Microsoft Office OpenOffice.org Software Relational database management systems Microsoft Access
275	The Advanced Research WRF (ARW) Dynamics Solver Bill Skamarock Jimy Dudhia Add to Reading List Source URL: www2.mmm.ucar.edu Language: English - Date: 2012-07-23 18:55:45 Runge–Kutta methods Numerical methods for ordinary differential equations Integration
276	SATISFIABILITY-BASED PROGRAM REASONING AND PROGRAM SYNTHESIS by Saurabh Srivastava 1 Revised Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2010-10-26 18:47:17 Formal methods Logic in computer science Electronic design automation Constraint programming Satisfiability Modulo Theories Reasoning system Formal verification Solver Algorithm Theoretical computer science Applied mathematics Mathematics
277	Alloy: A Higher-Order Relational Constraint Solver Aleksandar Milicevic Joseph P. Near Eunsuk Kang Add to Reading List Source URL: people.csail.mit.edu Language: English* - Date: 2014-09-09 16:16:23 Electronic design automation Formal methods Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories First-order logic Alloy Tree Theoretical computer science Mathematical logic Applied mathematics
278	The Advanced Research WRF (ARW) Dynamics Solver Joe Klemp Bill Skamarock Jimy Dudhia Add to Reading List Source URL: www2.mmm.ucar.edu Language: English - Date: 2013-02-04 17:42:03
279	Growing Solver-Aided Languages with ROSETTE Emina Torlak & Rastislav Bodik U.C. Berkeley Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:27:03 Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Satisfiability Modulo Theories AMPL Theoretical computer science Applied mathematics Software engineering
280	The Advanced Research WRF (ARW) Dynamics Solver Bill Skamarock Jimy Dudhia Add to Reading List Source URL: www2.mmm.ucar.edu Language: English - Date: 2013-07-24 19:01:19 Runge–Kutta methods Numerical methods for ordinary differential equations Integration

UPDATE