Document is current

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.