SAT-Metropolis

Dall, Maja Aaslyng; Pardo, Raúl; Lumley, Thomas; Wąsowski, Andrzej

doi:10.4230/artifacts.24207

Artifact

SAT-Metropolis Software

Authors Maja Aaslyng Dall, Raúl Pardo , Thomas Lumley, Andrzej Wąsowski

Part of: Collection: Supplementary Materials
License: Apache License 2.0
Publication Date: 2025-08-07

Document Identifiers

DOI: 10.4230/artifacts.24207
URN: urn:nbn:de:0030-drops-242070

Author Details

Maja Aaslyng Dall

IT University of Copenhagen, Denmark

Raúl Pardo

IT University of Copenhagen, Denmark

Thomas Lumley

University of Auckland, New Zealand

Andrzej Wąsowski

IT University of Copenhagen, Denmark

Content

Software: https://github.com/itu-square/sat-metropolis
archived version

Version/Status

Content created at: 2025-04-03

Cite As Get BibTex

Maja Aaslyng Dall, Raúl Pardo, Thomas Lumley, Andrzej Wąsowski. SAT-Metropolis (Software). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/artifacts.24207

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

Metadata Views

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail