@article{2023arXiv230202730W,
doi = {10.48550/arXiv.2302.02730},
Author = {{Wang}, Yuanhong and {Pu}, Juhua and {Wang}, Yuyi and {Ku{\v{z}}elka}, Ond{\v{r}}ej},
EID = {arXiv:2302.02730},
EPrint = {2302.02730},
File = {On Exact Sampling in the Two-Variable Fragment of First-Order Logic - 2302.02730.pdf},
Journal = {arXiv e-prints},
Keywords = {Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, 68T27, I.2.4},
Month = {February},
Pages = {arXiv:2302.02730},
PrimaryClass = {cs.AI},
Title = {{On Exact Sampling in the Two-Variable Fragment of First-Order Logic}},
Year = {2023},
adsnote = {Provided by the SAO/NASA Astrophysics Data System},
adsurl = {https://ui.adsabs.harvard.edu/abs/2023arXiv230202730W},
bdsk-url-1 = {https://doi.org/10.48550/arXiv.2302.02730},
date-added = {2023-04-28 18:50:48 +0200},
date-modified = {2023-04-28 18:50:48 +0200},
file-2 = {On Exact Sampling in the Two-Variable Fragment of First-Order Logic.pdf}
}
Library Size: 13G (12942 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A