AntiSAT Software

Author Pavol Vargovčík



Document Identifiers

Author Details

Pavol Vargovčík
  • Brno University of Technology

Content

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

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail