1![Softstar: Heuristic-Guided Probabilistic Inference Mathew Monfort Computer Science Department University of Illinois at Chicago Chicago, IL 60607 Softstar: Heuristic-Guided Probabilistic Inference Mathew Monfort Computer Science Department University of Illinois at Chicago Chicago, IL 60607](https://www.pdfsearch.io/img/52239a432ecb65898a9eabf36796b5f9.jpg) | Add to Reading ListSource URL: cims.nyu.eduLanguage: English - Date: 2015-11-01 13:02:43
|
---|
2![Problem Difficulty and the Phase Transition in Heuristic Search Eldan Cohen and J. Christopher Beck Department of Mechanical & Industrial Engineering University of Toronto Toronto, Canada {ecohen, jcb}@mie.utoronto.ca Problem Difficulty and the Phase Transition in Heuristic Search Eldan Cohen and J. Christopher Beck Department of Mechanical & Industrial Engineering University of Toronto Toronto, Canada {ecohen, jcb}@mie.utoronto.ca](https://www.pdfsearch.io/img/d24e195848fae0aaf179aca6b342c788.jpg) | Add to Reading ListSource URL: tidel.mie.utoronto.caLanguage: English - Date: 2016-12-02 13:22:19
|
---|
3![AUTO2, a saturation-based heuristic prover for higher-order logic Bohua Zhan Massachusetts Institute of Technology AUTO2, a saturation-based heuristic prover for higher-order logic Bohua Zhan Massachusetts Institute of Technology](https://www.pdfsearch.io/img/056d6b948147e0b13791e6c7c4ab9000.jpg) | Add to Reading ListSource URL: itp2016.inria.frLanguage: English - Date: 2016-08-30 03:42:56
|
---|
4![A Heuristic-Based Approach for Planning Federated SPARQL Queries Gabriela Montoya1 , Maria-Esther Vidal1 , and Maribel Acosta1,2 1 2 A Heuristic-Based Approach for Planning Federated SPARQL Queries Gabriela Montoya1 , Maria-Esther Vidal1 , and Maribel Acosta1,2 1 2](https://www.pdfsearch.io/img/2d28a8b4d7dbae201183bf58bc14466e.jpg) | Add to Reading ListSource URL: ceur-ws.orgLanguage: English - Date: 2012-09-20 10:02:01
|
---|
5![An Effective Implementation of the Lin-Kernighan Traveling Salesman Heuristic Keld Helsgaun E-mail: Department of Computer Science Roskilde University An Effective Implementation of the Lin-Kernighan Traveling Salesman Heuristic Keld Helsgaun E-mail: Department of Computer Science Roskilde University](https://www.pdfsearch.io/img/4233262433b0ce68a05b1947ef7d4199.jpg) | Add to Reading ListSource URL: webhotel4.ruc.dkLanguage: English - Date: 2018-04-11 09:16:00
|
---|
6![Fuzzy Ideas Explain a Complex Heuristic Algorithm for Gauging Pavement Conditions Edgar Daniel Rodriguez Velasquez Carlos M. Chang Albitres Fuzzy Ideas Explain a Complex Heuristic Algorithm for Gauging Pavement Conditions Edgar Daniel Rodriguez Velasquez Carlos M. Chang Albitres](https://www.pdfsearch.io/img/662343002eec23e8c87edb65d62e360a.jpg) | Add to Reading ListSource URL: www.cs.utep.eduLanguage: English - Date: 2018-04-27 14:56:53
|
---|
7![A Simple Heuristic Successfully Used by Humans, Animals, and Machines: The Story of the RAF and Luftwaffe, Hawks and Ducks, Dogs and Frisbees, Baseball Outfielders and Sidewinder Missiles—Oh My! A Simple Heuristic Successfully Used by Humans, Animals, and Machines: The Story of the RAF and Luftwaffe, Hawks and Ducks, Dogs and Frisbees, Baseball Outfielders and Sidewinder Missiles—Oh My!](https://www.pdfsearch.io/img/4de1b93ff19f4d648fc5614c5c86b264.jpg) | Add to Reading ListSource URL: homepages.rpi.eduLanguage: English - Date: 2017-05-08 10:33:10
|
---|
8![How not to Prove Yourself: Pitfalls of the Fiat-Shamir Heuristic and Applications to Helios David Bernhard1 , Olivier Pereira2 , and Bogdan Warinschi1 1 How not to Prove Yourself: Pitfalls of the Fiat-Shamir Heuristic and Applications to Helios David Bernhard1 , Olivier Pereira2 , and Bogdan Warinschi1 1](https://www.pdfsearch.io/img/7501e78c45b1059984eb511de4d21f95.jpg) | Add to Reading ListSource URL: eprint.iacr.orgLanguage: English - Date: 2016-08-10 06:31:48
|
---|
9![Noname manuscript No. (will be inserted by the editor) An Empirical Evaluation of a Walk-Relax-Round Heuristic for Mixed Integer Convex Programs Kuo-Ling Huang · Sanjay Mehrotra Noname manuscript No. (will be inserted by the editor) An Empirical Evaluation of a Walk-Relax-Round Heuristic for Mixed Integer Convex Programs Kuo-Ling Huang · Sanjay Mehrotra](https://www.pdfsearch.io/img/6f3d7997732780d36a858ccd271b9c52.jpg) | Add to Reading ListSource URL: users.iems.northwestern.eduLanguage: English - Date: 2014-08-14 16:50:07
|
---|
10![Revista Brasileira de História da Matemática - Vol. 4 no 7 (abrilsetembropágPublicação Oficial da Sociedade Brasileira de História da Matemática George Pólya and the Heuristic Revista Brasileira de História da Matemática - Vol. 4 no 7 (abrilsetembropágPublicação Oficial da Sociedade Brasileira de História da Matemática George Pólya and the Heuristic](https://www.pdfsearch.io/img/b03da926cf15d68f9760664a058a4af2.jpg) | Add to Reading ListSource URL: www.rbhm.org.brLanguage: English - Date: 2011-02-21 09:02:04
|
---|