search

meelgroup / approxmc

Approximate Model Counter
Other
70 stars 25 forks source link

Citation info wrong and missing #29

Closed latower closed 1 year ago

latower commented 1 year ago

In the How to cite section of the README, the CAV20 citation is referencing the AAAI19 bibfile and the LICS20 citation is missing.

msoos commented 1 year ago

Thanks, fixed!