Exploiting Search Space Structure in Classical Planning: Analyses and Algorithms (Dissertation Abstract) Masataro Asai Graduate School of Arts and Sciences University of Tokyo

Source URL: icaps16.icaps-conference.org

• Game artificial intelligence
• Routing algorithms
• Computer programming
• Computing
• Mathematics
• Automated planning and scheduling
• Theoretical computer science
• Macro
• Satisficing
• A* search algorithm
• Planning Domain Definition Language
• Heuristic

Playing with AVATAR Giles Reger, Martin Suda and Andrei Voronkov ? University of Manchester, Manchester, UK Abstract. Modern first-order resolution and superposition theorem provers use saturation algorithms to search fo

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Automated theorem proving
• Mathematics
• Mathematical logic
• Formal methods
• Logic in computer science
• Resolution
• Logic programming
• Clause
• Vampire
• Boolean satisfiability problem
• CARINE

Chapter 3 Classical Optimization and Search Techniques In this chapter we discuss a few popular optimization techniques in use in current day natural language processing algorithms. First we present the Hidden Markov

Source URL: www.cfilt.iitb.ac.in

Line Search for Averaged Operator Iteration Pontus Giselsson, Mattias F¨alt, and Stephen Boyd Abstract Many popular first order algorithms for convex optimization, such as forward-backward splitting, Douglas-Rachford sp

Source URL: www.control.lth.se

Structuring Depth-First Search Algorithms in Haskell David J. King John Launchbury Department of Computing Science

Source URL: galois.com

• Graph theory
• Graph connectivity
• Graph traversal
• Depth-first search
• Bridge
• Biconnected component
• Cycle
• Strongly connected component
• Connected component
• Reachability
• Graph
• Connectivity

ALPS: A Framework for Implementing Parallel Search Algorithms Y. Xu∗, T. K. Ralphs†, L. Lad´anyi‡, and M. J. Saltzman§ May 13, 2004 Abstract

Source URL: coral.ie.lehigh.edu

A Library Hierarchy for Implementing Scalable Parallel Search Algorithms T. K. Ralphs∗, L. Lad´anyi†, and M. J. Saltzman‡ Revised February 1, 2004 Abstract

Source URL: coral.ie.lehigh.edu

Help & Support Advanced Search Syntax User’s Guide HeinOnline uses a Lucene/SOLR search platform. While search relevancy algorithms take into account

Source URL: heinonline.org

25 Monte Carlo Tree Search and Related Algorithms for Games Nathan R. Sturtevant 25.1

Source URL: www.gameaipro.com

1.4 Binary Search Algorithms, 4th Edition ·

Source URL: t2.hhg.to