Crossmark

Efficient SAT-Based Minimal Model Generation Methods for Modal Logic S5

Crossref DOI link: https://doi.org/10.1007/978-3-030-80223-3_16

Published Online: 2021-07-02

Published Print: 2021

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Huang, Pei

Li, Rundong

Liu, Minghao

Ma, Feifei

Zhang, Jian
License Information

Text and Data Mining valid from 2021-01-01

Version of Record valid from 2021-01-01

Text and Data Mining valid from 2021-01-01

Version of Record valid from 2021-01-01
More Information

Chapter History

First Online: 2 July 2021

Conference Information

Conference Acronym: SAT

Conference Name: International Conference on Theory and Applications of Satisfiability Testing

Conference City: Barcelona

Conference Country: Spain

Conference Year: 2021

Conference Start Date: 5 July 2021

Conference End Date: 9 July 2021

Conference Number: 24

Conference ID: sat2021

Conference URL: https://www.iiia.csic.es/sat2021/