Solver - PDFSEARCH.IO - Document Search Engine

Solver
Results: 737

#	Item
121	First version of the Mancoosi specialised CUDF solver plugin for the modular platform manager Deliverable 4.2 Nature : Deliverable Add to Reading List Source URL: www.mancoosi.org Language: English - Date: 2012-12-16 04:54:41 Operations research Mathematical optimization Linear programming Solver Pareto efficiency
122	Fundamenta Informaticaei-ii i DOIFIIOS Press Add to Reading List Source URL: www.mimuw.edu.pl Language: English - Date: 2011-04-09 08:00:52 Constraint programming Constraint satisfaction Solver Local search
123	chris: compressible reacting ﬂow solver The numerical modeling of ﬂows in a high-speed propulsion system requires the accurate description of physical processes associated with fuel injection, mixing, and turbulence/ Add to Reading List Source URL: www.cascadetechnologies.com Language: English - Date: 2012-06-26 07:09:12
124	HELYX Coupled Solver Validation and Performance Profiling OpenFOAM Workshop 2014 23th-26th June 2014 Zagreb, Croatia Eugene De Villiers, Engys Ltd. Add to Reading List Source URL: engys.com Language: English
125	2013 IEEE Conference on Computer Vision and Pattern Recognition A Genetic Algorithm-Based Solver for Very Large Jigsaw Puzzles Dror Sholomon Omid David Add to Reading List Source URL: www.cv-foundation.org Language: English - Date: 2013-06-08 15:23:25
126	charles: high-ﬁdelity compressible ﬂow solver Leveraging advancements in high-performance computing, Large eddy simulation (les) is emerging as an accurate yet cost-effective computational tool for the prediction of Add to Reading List Source URL: www.cascadetechnologies.com Language: English - Date: 2012-06-26 07:09:11
127	A DPLL(T) Theory Solver for Strings and Regular Expressions Tianyi Liang Andrew Reynolds Cesare Tinelli Morgan Deters Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-07-24 18:05:06
128	Approaches for Synthesis Conjectures in an SMT Solver Andrew Reynolds arXiv:submitcs.LO] 9 Oct 2015 ´ Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2015-10-09 09:02:47
129	SIAM Conference on Computational Science and Engineering Short Course on the ACTS Collection: Robust and High Performance Libraries for Computational Sciences SuperLU (Sparse Direct Solver) Add to Reading List Source URL: acts.nersc.gov Language: English - Date: 2011-09-16 12:05:18
130	Sound Reasoning about Integral Data Types with a Reusable SMT Solver Interface R´egis Blanc Viktor Kuncak Add to Reading List Source URL: lampwww.epfl.ch Language: English - Date: 2015-06-14 10:27:44 Functional languages Data types Scala Satisfiability modulo theories Integer Lebesgue integration Antiderivative cole Polytechnique Fdrale de Lausanne

UPDATE