MC2025: Benchmark Submission

JavaScript isn't enabled in your browser, so this file can't be opened. Enable and reload.

Email *

Authors (Jane Blogs; John Doe; Other Name; ...) *

We provide the instances by *

Download link (give URL below)

Upload (We ask the organizers of MC2025 to send us a link where we can upload the files)

Category *

Application-based

Generated

Random

Other:

URL

Track
*

Track 1: Model Counting

Track 3: Projected Model Counting

Track 4: Weighted Model Counting / Weighted Projected Model Counting

Track 5: Algebraic Counting

Track 6: Bitvector Counting

The benchmarks have already been published. *

Yes

If Yes, indicate URL/DOI *

Yes

Unknown

Clear selection

Instance Description *

PDF (included in the Submission)

Published work (Link see Question Below)

URL to Published Work / Paper *

Submit

Clear form

Never submit passwords through Google Forms.

This content is neither created nor endorsed by Google. - Terms of Service - Privacy Policy

Does this form look suspicious? Report