Solver - PDFSEARCH.IO - Document Search Engine

Solver
Results: 737

#	Item
471	What’s Hot in the SAT and ASP Competitions Marijn J.H. Heule∗ Torsten Schaub† The University of Texas at Austin, United States Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2014-11-21 11:43:25 Mathematical optimization Computer file formats Numerical software Mathematics Constraint programming Answer set programming Solver Sol Nl Theoretical computer science Applied mathematics Operations research
472	Towards Ultra Rapid Restarts! Shai Haim1 and Marijn Heule 2 1 University of New South Wales and NICTA, Sydney, Australia 2 Add to Reading List Source URL: www.st.ewi.tudelft.nl Language: English - Date: 2011-02-20 08:31:36 Operations research Constraint programming Boolean algebra Logic in computer science Mathematical optimization Boolean satisfiability problem GRASP Solver Sol Theoretical computer science Applied mathematics Mathematics
473	Improving the Performance of a Verified Linear System Solver Using Optimized Libraries and Parallel Computation Mariana Kolberg, Gerd Bohlender and Dalcidio Claudio Pontif´ıcia Universidade Cat´olica do Rio Grande do Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2008-04-22 06:30:39 Software Numerical linear algebra Interval arithmetic LAPACK Lis Basic Linear Algebra Subprograms Mathematical optimization Algorithm Parallel computing Numerical software Mathematics Numerical analysis
474	Package ‘Rsymphony’ February 23, 2015 Version[removed]Title SYMPHONY in R Description An R interface to the SYMPHONY solver for mixed-integer linear programs. License EPL Add to Reading List Source URL: star-www.st-andrews.ac.uk Language: English - Date: 2015-02-23 06:44:43 Numerical analysis Linear programming COIN-OR MPS Cutting-plane method Operations research Mathematical optimization Mathematics
475	Methods for Solving Gas Damping Problems in Perforated Microstructures Using a 2D Finite-Element Solver Add to Reading List Source URL: www.mdpi.org Language: English - Date: 2007-07-02 03:08:07 Fabrication Perforation Navier–Stokes equations Soft matter Compressible flow Viscosity Technology Aerodynamics Petroleum production Physics
476	Joe Polcari Senior Linux/Unix System Administrator with Secret Security Clearance Creative Problem Solver and Action Oriented Team Player. Add to Reading List Source URL: www.polcari.com Language: English - Date: 2012-07-11 00:10:37 Cross-platform software Linux HP-UX Solaris Oracle Database Apache HTTP Server Operating system Oracle Corporation Novell Software Computing System software
477	metaSMT: Focus On Your Application Not On Solver Integration Finn Haedicke Stefan Frehse Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2011-09-06 04:07:56 Constraint programming Electronic design automation Formal methods Logic in computer science NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Solver Constraint satisfaction problem Theoretical computer science Applied mathematics Mathematics
478	Solver Awards - Top Performing Partners for 2013 Today, Solver honored their top partners for demonstrating significant customer impact by delivering the BI360 Suite to help customers optimize their performance managemen Add to Reading List Source URL: pdf.pr.com Language: English Business software Application software Microsoft Dynamics Microsoft ERP software Business Accounting software
479	metaSMT: A Unified Interface to SMT-LIB2 Heinz Riener1 Mathias Soeken1,2 Clemens Werther1 Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2014-07-29 13:06:58 Electronic design automation Formal methods Logic in computer science Constraint programming Satisfiability Modulo Theories Solver Boolean satisfiability problem Timeout Transmission Control Protocol Theoretical computer science Applied mathematics NP-complete problems
480	metaSMT: Focus On Your Application Not On Solver Integration Finn Haedicke, Stefan Frehse, Görschwin Fey, Daniel Große, Rolf Drechsler Group of Computer Architecture, University of Bremen, Germany Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2014-02-05 05:31:31 Logic in computer science Electronic design automation NP-complete problems Constraint programming Satisfiability Modulo Theories Valuation Integer factorization Theoretical computer science Applied mathematics Formal methods

UPDATE