Andreas Plank

Institute for Symbolic Artificial Intelligence , JKU Linz , Austria

1 paper in the IJCAI proceedings

IJCAI 2024

A Top-Down Tree Model Counter for Quantified Boolean Formulas

with Florent Capelli, Jean-Marie Lagniez, Martina Seidl

doi:10.24963/ijcai.2024/205

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings