SAT-based explicit LTL reasoning and its application to satisfiability checking

From MaRDI portal
Publication:2335900

DOI10.1007/s10703-018-00326-5zbMath1425.68259OpenAlexW2907580149WikidataQ128686846 ScholiaQ128686846MaRDI QIDQ2335900

Geguang Pu, Shufang Zhu, Moshe Y. Vardi, Jianwen Li, Li-jun Zhang

Publication date: 18 November 2019

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-018-00326-5





Uses Software



Cites Work




This page was built for publication: SAT-based explicit LTL reasoning and its application to satisfiability checking