Best-First Enumeration Based on Bounding Conflicts, and its Application to Large-scale Hybrid Estimation
From MaRDI portal
Publication:5208862
DOI10.1613/JAIR.1.11892zbMath1494.68258OpenAlexW2810455446MaRDI QIDQ5208862
Eric Michael Timmons, Brian C. Williams
Publication date: 22 January 2020
Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1613/jair.1.11892
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
This page was built for publication: Best-First Enumeration Based on Bounding Conflicts, and its Application to Large-scale Hybrid Estimation