Solver - PDFSEARCH.IO - Document Search Engine

Solver
Results: 737

#	Item
451	Don’t care in SMT—Building flexible yet efficient abstraction/refinement solvers1 Andreas Bauer∗ , Martin Leucker∗∗, Christian Schallhart∗∗, Michael Tautschnig∗∗ ∗ ∗∗ Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2007-11-26 20:10:39 Mathematics Logic in computer science Electronic design automation Formal methods NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Constraint satisfaction problem Solver Theoretical computer science Constraint programming Applied mathematics
452	ARE YOU... ATTENTIVE? A PROBLEM SOLVER? PRACTICAL? Then consider a career as a Add to Reading List Source URL: www.holmesglen.edu.au Language: English - Date: 2013-08-08 02:31:47 Youth Holmesglen Institute of TAFE Australian Qualifications Framework Technical and further education Academic certificate High school Vocational education Secondary education Victorian Certificate of Applied Learning Education Adolescence Educational stages
453	IAENG International Journal of Computer Science, 32:4, IJCS_32_4_14 ______________________________________________________________________________________ Case Based Reasoning with State Transition Mechanism for Problem- Add to Reading List Source URL: www.iaeng.org Language: English - Date: 2006-11-11 21:11:34 Science Heuristic function Solver Algorithm Trial and error Problem solving Ant colony optimization algorithms Dynamic programming Heuristics Mathematics Applied mathematics
454	A fast solver for multi-particle scattering in a layered medium Jun Lai, Motoki Kobayashi, Leslie Greengard∗ Courant Institute, New York University and Simons Center for Daya Analysis, USA Email: [removed] Add to Reading List Source URL: www6.cityu.edu.hk - Date: 2014-09-15 05:05:24
455	Tool-support for the analysis of hybrid systems and models Andreas Bauer Markus Pister Michael Tautschnig Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:27 Operations research Constraint programming Logic in computer science Electronic design automation Formal methods Satisfiability Modulo Theories Solver Boolean satisfiability problem Constraint satisfaction Theoretical computer science Applied mathematics Mathematics
456	Microsoft Word - 07-050WP Cover Sheet.doc Add to Reading List Source URL: www.hbs.edu Language: English - Date: 2012-11-05 12:16:24 Numerical software Applied mathematics Operations research Solver Mathematics Cognition InnoCentive Sol Chess problem Educational psychology Theoretical computer science Problem solving
457	CalculiX • ccx • INSTALLATION GUIDE CalculiX Solver ccx 2.8 on Mac OS X Mavericks 1 Add to Reading List Source URL: www.dhondt.de Language: English - Date: 2015-03-04 15:11:16 Calculix Gfortran GNU Compiler Collection Xcode Clang Darwin Software Mac OS X Mach
458 $Stack / Diffraction / Physics / Computing / File select / HTML / GUI widget$	UNIGIT RIGOROUS GRATING SOLVER VERSION[removed]QUICK START Developed by: Optimod Add to Reading List Source URL: www.unigit.com Language: English - Date: 2014-11-09 08:05:48 Stack Diffraction Physics Computing File select HTML GUI widget
459 $Drainage / Grating / Pavements / Street furniture / Land transport / Echelle grating / Physics / Diffraction / Optics / Transport / Wave mechanics$	UNIGIT RIGOROUS GRATING SOLVER VERSION[removed]USER MANUAL Developed by: Optimod Add to Reading List Source URL: www.unigit.com Language: English - Date: 2014-11-09 07:55:11 Drainage Grating Pavements Street furniture Land transport Echelle grating Physics Diffraction Optics Transport Wave mechanics
460	A Case for Multi-Switch Constraints in OPAM Fabrice Le Fessant INRIA – OCamlPro OCaml’2014 Poster Session Add to Reading List Source URL: ocaml.org Language: English - Date: 2015-04-01 15:26:16 Computer programming Numerical software OCaml Solver Mathematical optimization Debian Software Computing Operations research

UPDATE