Published September 14, 2020
| Version 1.0
Other
Open
The SAT Practitioner's Manifesto
- 1. Johannes Kepler University
- 2. University of Helsinki
- 3. Université d'Artois, CNRS
- 4. National University of Singapore
- 5. CNRS, Université d'Artois
Description
During the Pragmatics of SAT workshop, the SAT community decided to publish some guidelines regarding requirements for evaluating systems and publish its results. This manifesto is the results of such discussion.
Files
satpractitionnermanifesto.pdf
Files
(69.6 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:1768263fc42ad340c7e2d85b7a352ee6
|
69.6 kB | Preview Download |
Additional details
Related works
- Is derived from
- Proposal: https://github.com/danielleberre/satpractitionermanisfesto (URL)
- Is described by
- Video/Audio: https://artoistv.univ-artois.fr/video/1438-pos-2020-lightning-talks/a8fdb5bdb540972793855fa3017974e5125aca0cb91265b1eee3535111dfbeb9/ (URL)