The ICAPS 2015 Conference would like to acknowledge the generous support of: Israel Science Foundation (ISF) National Science Foundation (NSF) Artificial Intelligence Journal Air Force Office of Scientific Research (AFOS

First Page		Document Content
Date: 2015-06-01 03:54:10 Operations research Symposium on Combinatorial Search Sven Koenig Heuristic Automated planning and scheduling Mathematical optimization Shlomo Zilberstein Problem solving Methodology Cognition		The ICAPS 2015 Conference would like to acknowledge the generous support of: Israel Science Foundation (ISF) National Science Foundation (NSF) Artificial Intelligence Journal Air Force Office of Scientific Research (AFOS Add to Reading List Source URL: icaps15.icaps-conference.org Download Document from Source Website File Size: 4,40 MB Share Document on Facebook

	Softstar: Heuristic-Guided Probabilistic Inference Mathew Monfort Computer Science Department University of Illinois at Chicago Chicago, IL 60607 DocID: 1xTJu - View Document
	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 DocID: 1vf9m - View Document
	AUTO2, a saturation-based heuristic prover for higher-order logic Bohua Zhan Massachusetts Institute of Technology DocID: 1uLt2 - View Document
	A Heuristic-Based Approach for Planning Federated SPARQL Queries Gabriela Montoya1 , Maria-Esther Vidal1 , and Maribel Acosta1,2 1 2 DocID: 1uGfs - View Document
	An Effective Implementation of the Lin-Kernighan Traveling Salesman Heuristic Keld Helsgaun E-mail: Department of Computer Science Roskilde University DocID: 1uC4Z - View Document