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

@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 and
                  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          = {https://hdl.handle.net/10138/563824}
}