Crossmark

Exploiting Treewidth for Projected Model Counting and Its Limits

Crossref DOI link: https://doi.org/10.1007/978-3-319-94144-8_11

Published Online: 2018-06-26

Published Print: 2018

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Fichte, Johannes K.

Hecher, Markus

Morak, Michael

Woltran, Stefan
License Information

License valid from 2018-01-01

Text and Data Mining valid from 2018-01-01

Version of Record valid from 2018-01-01
More Information

Chapter History

First Online: 26 June 2018

Conference Information

Conference Acronym: SAT

Conference Name: International Conference on Theory and Applications of Satisfiability Testing

Conference City: Oxford

Conference Country: United Kingdom

Conference Year: 2018

Conference Start Date: 9 July 2018

Conference End Date: 12 July 2018

Conference Number: 21

Conference ID: sat2018

Conference URL: http://sat2018.azurewebsites.net/

Peer Review Information (provided by the conference organizers)

Type: Open

Conference Management System: EasyChair

Number of Submissions Sent for Review: 58

Number of Full Papers Accepted: 20

Number of Short Papers Accepted: 4

Acceptance Rate of Full Papers: 34% - 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: 4

Average Number of Papers per Reviewer: 7

External Reviewers Involved: Yes

Additional Info on Review Process: 2 tool papers were accepted