Solving Higher-Order Quantified Boolean Satisfiability via Higher-Order Model Checking

Part Of

Proceedings of the AAAI Conference on Artificial Intelligence

Journal Volume

39

Journal Issue

11

Start Page

11372

End Page

11380

ISSN

2374-3468

2159-5399

Date Issued

2025-04-11

Author(s)

Unno, Hiroshi

Tsukada, Takeshi

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