Artifact
AntiSAT Software
Author
Pavol Vargovčík 
- Part of: Collection: Supplementary Materials
- License: Apache License 2.0
- Publication Date: 2024-11-28
Content
- Software (Source Code): https://github.com/p4l1ly/antisat/tree/5901055e699e7b95ba3dec63d11445fcd791f5de
-
archived version
Version/Status
- Content created at: 2024-02-28
- Status: Active (at the time of publication 2024-11-28)
Cite As Get BibTex
Pavol Vargovčík. AntiSAT (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
https://doi.org/10.4230/artifacts.22499
Subject Classification
Keywords
- Antichain
- SAT
- Trie
- Alternating automata
Programming Languages
- C++
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)