Difference between revisions of "SAT"
Jump to navigation
Jump to search
(CSV conf series import) |
Tim Holzheim (talk | contribs) (fixed acronym (#136)) |
||
| 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 | ||
}} | }} | ||
Revision as of 16:14, 31 March 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