Compute-intensive methods in artificial intelligence

DOI10.1023/A:1018943920174zbMath1001.68588MaRDI QIDQ1601839

Bart Selman

Publication date: 27 June 2002

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

knowledge-intensive methods

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) General topics in artificial intelligence (68T01)

Related Items (1)

BDD-based decision procedures for the modal logic K ★

This page was built for publication: Compute-intensive methods in artificial intelligence