Implicit QBF Encodings for Positional Games

BOOK-CHAPTER

Year: 2024 Lecture notes in computer science Pages: 133-145 Publisher: Springer Science+Business Media

DOI: 10.1007/978-3-031-54968-7_12

Keywords:

Computer science Theoretical computer science Algorithm

Metrics

Cited By

0.00

FWCI (Field Weighted Citation Impact)

Refs

0.08

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Formal Methods in Verification

Physical Sciences → Computer Science → Computational Theory and Mathematics

Logic, programming, and type systems

Physical Sciences → Computer Science → Artificial Intelligence

Artificial Intelligence in Games

Physical Sciences → Computer Science → Artificial Intelligence