Difference between revisions of "SAT"
Jump to navigation
Jump to search
(CSV conf series import) |
Tim Holzheim (talk | contribs) (Added page provenance(#264) and contribution type(#271)) |
||
(One intermediate revision by the same user not shown) | |||
Line 1: | Line 1: | ||
{{Event series | {{Event series | ||
− | + | |Title =International Conference on Theory and Applications of Satisfiability Testing | |
− | |Title=International Conference on Theory and Applications of Satisfiability Testing | ||
|has CORE2017 Rank=A | |has CORE2017 Rank=A | ||
+ | |Acronym=SAT | ||
+ | |pageCreator=Soeren | ||
+ | |pageEditor=Soeren | ||
+ | |contributionType=1 | ||
}} | }} |
Latest revision as of 21:22, 1 April 2022
SAT 



SAT | |
---|---|
International Conference on Theory and Applications of Satisfiability Testing
| |
CORE Rank (2017): | A |
Avg. acceptance rate: | 0 |
Avg. acceptance rate (last 5 years): | 0 |
Table of Contents | |
International Conference on Theory and Applications of Satisfiability Testing (SAT) has an average acceptance rate of 0% (last 5 years 0%).
Events
There are 1 events of the series SAT known to this wiki: SAT 2020
Ordinal | Year | From | To | City | Country | presence | Homepage | TibKatId | GND | dblp | WikiCFP | Wikidata | |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
SAT 2020 | 2020 | Jul 5 | Jul 9 | Alghero | Italy | https://sat2020.idea-researchlab.org/ |
Submission/Acceptance
Locations