Antti - PDFSEARCH.IO - Document Search Engine

Antti
Results: 395

#	Item
1	Visualizing SMT-Based Parallel Constraint Solving Jelena Budakovic, Matteo Marescotti, Antti E. J. Hyv¨arinen, and Natasha Sharygina Universit` a della Svizzera italiana, Switzerland Abstract Add to Reading List Source URL: smt-workshop.cs.uiowa.edu Language: English - Date: 2017-09-02 14:08:49 Theoretical computer science Constraint programming Software engineering Electronic design automation Formal methods Logic in computer science NP-complete problems Satisfiability modulo theories Solver Boolean satisfiability problem DPLL algorithm Constraint satisfaction problem
2	HSC 8 – Units November 20, 2014 Research Center, Pori / Petri Kobylin, Antti RoineORC-J Add to Reading List Source URL: www.chemistry-software.com Language: English - Date: 2016-10-21 11:11:29
3	HSC 8 - Species November 19, 2014 Research Center, Pori / Antti RoineORC-J Add to Reading List Source URL: www.chemistry-software.com Language: Portuguese - Date: 2016-10-21 11:11:32
4	HSC 8 – Elements November 19, 2014 Research Center, Pori / Petri Kobylin, Antti RoineORC-J Add to Reading List Source URL: www.chemistry-software.com Language: English - Date: 2016-10-21 11:11:54
5	HSC 8 - HSC Estimates November 19, 2014 Research Center, Pori / Petri Kobylin, Antti RoineORC-J Add to Reading List Source URL: www.chemistry-software.com Language: English - Date: 2016-10-21 11:11:52
6	HSC 8 – Phase Stability Diagrams November 19, 2014 Research Center, Pori / Petri Kobylin, Antti RoineORC-J Add to Reading List Source URL: www.chemistry-software.com Language: English - Date: 2016-10-21 11:11:53
7	HSC 8 - HSC Diagrams November 25, 2014 Research Center, Pori / Petri Kobylin, Lauri Mäenpää, Antti RoineORC-J Add to Reading List Source URL: www.chemistry-software.com Language: English - Date: 2016-10-21 11:11:52
8	HSC 8 – Heat and Material Balance November 19, 2014 Research Center, Pori / Petri Kobylin, Antti Roine, Peter BjörklundORC-J Add to Reading List Source URL: www.hsc-chemistry.net Language: English - Date: 2016-09-27 11:03:27
9	HSC 8 – Reaction Equations November 20, 2014 Research Center, Pori / Lauri Mäenpää, Antti RoineORC-J Add to Reading List Source URL: www.chemistry-software.com Language: English - Date: 2016-10-21 11:11:48
10	HSC 8 - Databases November 19, 2014 Research Center, Pori / Lauri Mäenpää, Petri Kobylin, Tarja Talonen Antti RoineORC-J Add to Reading List Source URL: www.chemistry-software.com Language: English - Date: 2016-10-21 11:11:30

UPDATE