Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Publications

A SAT-Benchmark Set from the Approximation of Trigonometric Functions for SAT-based Verification

Reviewed Paper In Proceedings
Author(s):Kai Hiller and Alexander Weigl
In:Proceedings of SAT Competition 2023 : Solver, Benchmark and Proof Checker Descriptions
Publisher:Department of Computer Science, University of Helsinki
Series:Department of Computer Science Series of Publications B
Year:2023
Pages:95
URL:http://hdl.handle.net/10138/563824

BibTeX

@InProceedings{hiller23:_sat_bench_set_approx_trigon,
  author       = {Kai Hiller and Alexander Weigl},
  title        = {A SAT-Benchmark Set from the Approximation of Trigonometric Functions for SAT-based Verification},
  booktitle = {Proceedings of SAT Competition 2023 : Solver, Benchmark and Proof Checker Descriptions},
  year      = 2023,
  editor    = {Tomas Balyo and Marijn Heule Markus Iser and Matti Järvisalo and Martin Suda},
  pages     = 95,
 publisher = {Department of Computer Science, University of Helsinki},
  series={Department of Computer Science Series of Publications B},
  url={http://hdl.handle.net/10138/563824}
}