Theory and Techniques for Synthesizing Efficient Breadth-First Search Algorithms

DOI10.1007/978-3-642-32759-9_27zbMath1372.68234OpenAlexW1927239881MaRDI QIDQ4647853

William R. Cook, Srinivas Nedunuri, Douglas R. Smith

Publication date: 8 November 2012

Published in: FM 2012: Formal Methods (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2152/ETD-UT-2012-08-6242

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Uses Software

• Unnamed Item

This page was built for publication: Theory and Techniques for Synthesizing Efficient Breadth-First Search Algorithms