Softstar: Heuristic-Guided Probabilistic Inference Mathew Monfort Computer Science Department University of Illinois at Chicago Chicago, IL 60607

Source URL: cims.nyu.edu

• Search algorithms
• Routing algorithms
• Combinatorial optimization
• Mathematics
• Information science
• Information retrieval
• Game artificial intelligence
• A* search algorithm
• Heuristic
• Bayesian network
• Dijkstra's algorithm
• Algorithm

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

Source URL: tidel.mie.utoronto.ca

AUTO2, a saturation-based heuristic prover for higher-order logic Bohua Zhan Massachusetts Institute of Technology

Source URL: itp2016.inria.fr

A Heuristic-Based Approach for Planning Federated SPARQL Queries Gabriela Montoya1 , Maria-Esther Vidal1 , and Maribel Acosta1,2 1 2

Source URL: ceur-ws.org

An Effective Implementation of the Lin-Kernighan Traveling Salesman Heuristic Keld Helsgaun E-mail: Department of Computer Science Roskilde University

Source URL: webhotel4.ruc.dk

Fuzzy Ideas Explain a Complex Heuristic Algorithm for Gauging Pavement Conditions Edgar Daniel Rodriguez Velasquez Carlos M. Chang Albitres

Source URL: www.cs.utep.edu

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!

Source URL: homepages.rpi.edu

How not to Prove Yourself: Pitfalls of the Fiat-Shamir Heuristic and Applications to Helios David Bernhard1 , Olivier Pereira2 , and Bogdan Warinschi1 1

Source URL: eprint.iacr.org

• Cryptography
• Computational complexity theory
• Zero-knowledge proof
• Interactive proof system
• FiatShamir heuristic
• Proof of knowledge
• IP
• Non-interactive zero-knowledge proof
• Random oracle
• ElGamal encryption
• NP
• RSA

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

Source URL: users.iems.northwestern.edu

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

Source URL: www.rbhm.org.br