Vol-3738⫷ Vol-3739 ⫸Vol-3740
urn:nbn:de:0074-3739-0


Vol-3739/invited-2⫷Vol-3739/invited-3⫸Vol-3739/paper-1
Ondrej Kuzelka

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