Toward a search strategy for anytime search in linear space using depth-first branch and bound

Carlos Hernández, Jorge A. Baier

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Citation (Scopus)

Fingerprint Dive into the research topics of 'Toward a search strategy for anytime search in linear space using depth-first branch and bound'. Together they form a unique fingerprint.

Engineering & Materials Science