Volume: Vol-3739 DL 2024 | Year: 2024

Paper: « invited-2 | invited-3 | paper-1 »

Model Counting and Sampling in First-Order Logic (Abstract of Invited Talk)

• Ondrej Kuzelka ORCID dblp

PDF