Florent Capelli, Jean-Marie Lagniez, Andreas Plank, Martina Seidl,
"A Top-Down Tree Model Counter for Quantified Boolean Formulas"
: Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence (IJCAI-24), Serie Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence (IJCAI-24), 2024
Original Titel:
A Top-Down Tree Model Counter for Quantified Boolean Formulas
Sprache des Titels:
Englisch
Original Buchtitel:
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence (IJCAI-24)
Serie:
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence (IJCAI-24)
Forschungs-