Record Beta
SAT 2020
https://id.confref.org/data/confident/13527
This record is part of the confref event International Conference on Theory and Applications of Satisfiability Testing.
| rdf:type | cf:Category_Event |
|---|---|
| schema:location | Alghero (wd:Q166282) |
| rdfs:label | SAT 2020 |
| cf:Acronym | SAT 2020 |
| cf:City | Alghero |
| cf:Country | https://id.confref.org/data/confident/30959 |
| cf:Country_Missing | false |
| cf:Creation_date | 2022-04-07T00:08:36 |
| cf:Display_Title | SAT 2020 |
| cf:End_Date | 2020-07-09 |
| cf:Event_Mode | on site |
| cf:Event_Status | as scheduled |
| cf:Has_Metric | false |
| cf:In_Event_Series | https://id.confref.org/data/confident/1963 |
| cf:Modification_date | 2022-10-19T14:20:08 |
| cf:Month | 7 |
| cf:Official_Website | https://sat2020.idea-researchlab.org/ |
| cf:Organizer_Missing | true |
| cf:Single_Day_Event | no |
| cf:Start_Date | 2020-07-05 |
| cf:Start_Date_Missing | false |
| cf:Title | International Conference on Theory and Applications of Satisfiability Testing |
| cf:Year | 2020 |
| cf:page | https://www.confident-conference.org/index.php/Event:SAT_2020 |
| cf:pageTitle | Event:SAT 2020 |
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.