On exact sampling in the two-variable fragment of first-order logic

DOI10.1109/LICS56636.2023.10175742MaRDI QIDQ6851668zbMATH OpenFDO

Authors Yuanhong Wang, Juhua Pu, Yuyi Wang, Ondřej Kuželka

Publication date 27 February 2026

Full work available at URL https://doi.org/10.1109/LICS56636.2023.10175742

Mathematics Subject Classification ID

Logic in computer science (03B70)

This page was built for publication: On exact sampling in the two-variable fragment of first-order logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6851668)