Benchmark - Tuning SAT solvers for LTL Model Checking

Main Author: Anissa Kheireddine
Format: Article Journal
Terbitan: , 2022
Online Access: https://zenodo.org/record/6303638
Daftar Isi:
  • Main benchmark: dimacs problems classified according to the LTL property