Algorithm Selection for Word-Level Hardware Model Checking (Student Abstract)

Part Of

Proceedings of the AAAI Conference on Artificial Intelligence

Journal Volume

39

Journal Issue

28

Start Page

29426

End Page

29427

ISSN

2374-3468

2159-5399

ISBN

[157735897X, 9781577358978]

Date Issued

2025-04-11

Author(s)

Lu, Zhengyang

Chien, Po-Chun

Ganesh, Vijay

DOI

URI

Event(s)

39th Annual AAAI Conference on Artificial Intelligence, AAAI 2025

Publisher

Association for the Advancement of Artificial Intelligence (AAAI)

Type

conference paper