Request edit access
Submit to the Configurable SAT Solver Challenge 2013
Please use this form to make a submission to the CSSC. You can use it to submit both solvers and benchmark distributions. (If you'd like to submit in both categories, please fill out the form twice.) We ask that you make your submission in the form of a web-accessible zip file. We'll confirm by email once we've downloaded it.
Sign in to Google to save your progress. Learn more
Author names *
Please enter the full names of all authors.
Contact author email *
Please enter the contact author's email address.
I am submitting *
URL of submission *
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