Artifact Open Access Logo

spupyrev/oops Software

Author Sergey Pupyrev

Document Identifiers

Author Details

Sergey Pupyrev
  • Menlo Park, CA, USA

Content

Version/Status

  • Content created at: 2025-03-15
  • Status: Active (at the time of publication 2025-11-26)

Cite As Get BibTex

Sergey Pupyrev. spupyrev/oops (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/artifacts.25056

Description

OOPS: Optimized One-Planarity Solver via SAT

Subject Classification

Keywords
  • 1-planarity
  • graph
  • graphdrawing
  • planarity
  • sat
  • solver
Programming Languages
  • C++

Related Article

  • Sergey Pupyrev. OOPS: Optimized One-Planarity Solver via SAT. In 33rd International Symposium on Graph Drawing and Network Visualization (GD 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 357, pp. 14:1-14:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025) https://doi.org/10.4230/LIPIcs.GD.2025.14

Metrics

Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact