Document is current
Any future updates will be listed below
-
Authors
Seed, Thomas
King, Andy
Evans, Neil
- License Information
-
More Information
Chapter History
First Online: 26 June 2020
Conference Information
Conference Acronym: SAT
Conference Name: International Conference on Theory and Applications of Satisfiability Testing
Conference City: Alghero
Conference Country: Italy
Conference Year: 2020
Conference Start Date: 3 July 2020
Conference End Date: 10 July 2020
Conference Number: 23
Conference ID: sat2020
Conference URL: http://sat2020.idea-researchlab.org/
Peer Review Information (provided by the conference organizers)
Type: Single-blind
Conference Management System: EasyChair
Number of Submissions Sent for Review: 69
Number of Full Papers Accepted: 25
Number of Short Papers Accepted: 9
Acceptance Rate of Full Papers: 36% - The value is computed by the equation "Number of Full Papers Accepted / Number of Submissions Sent for Review * 100" and then rounded to a whole number.
Average Number of Reviews per Paper: 3
Average Number of Papers per Reviewer: 6
External Reviewers Involved: Yes
Additional Info on Review Process: The conference was held virtually due to the COVID-19 pandemic.
Free to read: This content has been made available to all.
