Solver - PDFSEARCH.IO - Document Search Engine

Solver
Results: 737

#	Item
681	“HP17BII+-Style” Solver Menus on the HP30b Jake Schwartz The HP30b inherits its menu system from the HP20b such that when a menu is entered, the initial function of the menu is shown where (1) data may be entered, (2 Add to Reading List Source URL: www.pahhc.org Language: English - Date: 2010-01-16 19:59:41 Electronic engineering Electronics Computer keyboard AS/400 Control Language Computing
682	Bring Many-core Thinking to High End Research and Education RANS CFD Solver on Fermi James Lin （林新华） Add to Reading List Source URL: hpcconfvietnam2012.novatte.com Language: English - Date: 2012-07-26 05:00:35 Video cards Computing Computer graphics CUDA Nvidia Video game hardware Graphics processing unit Graphics hardware GPGPU Computer hardware
683	A SAT-based Sudoku Solver? Tjark Weber Institut f¨ ur Informatik, Technische Universit¨ at M¨ unchen Add to Reading List Source URL: www.lri.fr Language: English - Date: 2013-02-08 07:29:22 Recreational mathematics Theoretical computer science NP-complete problems Sudoku Backtracking Propositional calculus Sudoku algorithms Mathematics Logic puzzles Logic
684	JFP 19 (6): 663–697, [removed]c Cambridge University Press 2009 663 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-11-05 10:42:24 Constraint programming Numerical software Programming paradigms Logic programming Solver Constraint logic programming ECLiPSe Lis Comet Declarative programming Software engineering Computer programming
685	2014 CBMS-NSF Conference: Fast Direct Solvers for Elliptic PDEs June 23 – 27, 2014, at Dartmouth College, Hanover, NH Lecturer: Per-Gunnar Martinsson (U. Colorado Boulder) Add to Reading List Source URL: www.math.dartmouth.edu Language: English - Date: 2014-02-17 11:15:21 Solver Academia Mathematics Knowledge Leslie Greengard Vladimir Rokhlin Jr. Fridrich Method
686	Annales Mathematicae et Informaticae[removed]pp. 9–21 http://ami.ektf.hu Cube-and-Conquer approach for SAT solving on grids∗ Add to Reading List Source URL: ami.ektf.hu Language: English - Date: 2013-12-20 13:48:28 Constraint programming Boolean algebra Automated theorem proving Logic in computer science NP-complete problems Boolean satisfiability problem DPLL algorithm Satz Solver Theoretical computer science Applied mathematics Mathematics
687	About me Software testing Bugs hunting Concolic execution IR and constraints solver Proof of concept Add to Reading List Source URL: shell-storm.org Language: English - Date: 2014-06-19 06:56:36 Fuzz testing Software testing Software bug Concolic testing
688	Machine Cognitive Models .R UP Add to Reading List Source URL: www.science-of-medicine.netne.net Language: English - Date: 2013-02-01 20:32:29 Cognitive science Neuropsychological assessment Developmental psychology General Problem Solver Cognitive architecture Memory Herbert Simon EPAM Solver Science Technology Educational psychology
689	Microsoft Word - Open Instructions as a .pdf file-TKSolver.doc Add to Reading List Source URL: www.uts.us.com Language: English - Date: 2013-06-04 17:41:00 Microsoft Windows System administration Windows License borrowing Floating licensing Computing TK Solver Windows Server System software Software
690	th 4 European LS-DYNA Users Conference Plenary Session II Add to Reading List Source URL: www.dynalook.com Language: English - Date: 2013-05-23 04:10:08 Nastran Crash simulation Solver Normal Mathematics Software LS-DYNA 3D computer graphics Application software

UPDATE