DROPS

Document

DOI: 10.4230/LIPIcs.SAT.2024.24

Hierarchical Stochastic SAT and Quality Assessment of Logic Locking

Authors: Christoph Scholl, Tobias Seufert, and Fabian Siegwolf

Published in: LIPIcs, Volume 305, 27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024)

Abstract

Motivated by the application of quality assessment of logic locking we introduce Hierarchical Stochastic SAT (HSSAT) which generalizes Stochastic SAT (SSAT). We look into the complexity of HSSAT and for solving HSSAT formulas we provide a prototype solver which computes exact evaluation results (i.e., without any approximation and without any imprecision caused by numerical rounding errors). Finally, we perform an intensive experimental evaluation of our HSSAT solver in the context of quality assessment of logic locking.

Cite as

Christoph Scholl, Tobias Seufert, and Fabian Siegwolf. Hierarchical Stochastic SAT and Quality Assessment of Logic Locking. In 27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 305, pp. 24:1-24:22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)

Copy BibTex To Clipboard

@InProceedings{scholl_et_al:LIPIcs.SAT.2024.24,
  author =	{Scholl, Christoph and Seufert, Tobias and Siegwolf, Fabian},
  title =	{{Hierarchical Stochastic SAT and Quality Assessment of Logic Locking}},
  booktitle =	{27th International Conference on Theory and Applications of Satisfiability Testing (SAT 2024)},
  pages =	{24:1--24:22},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-334-8},
  ISSN =	{1868-8969},
  year =	{2024},
  volume =	{305},
  editor =	{Chakraborty, Supratik and Jiang, Jie-Hong Roland},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SAT.2024.24},
  URN =		{urn:nbn:de:0030-drops-205462},
  doi =		{10.4230/LIPIcs.SAT.2024.24},
  annote =	{Keywords: Stochastic Boolean Satisfiability, Hierarchical Stochastic SAT, Binary Decision Diagrams, Decision Procedure}
}

Search Results

Documents authored by Siegwolf, Fabian

Hierarchical Stochastic SAT and Quality Assessment of Logic Locking

Abstract

Cite as

Thanks for your feedback!

Could not send message