Crossmark

Automata Terms in a Lazy WSkS Decision Procedure

Crossref DOI link: https://doi.org/10.1007/s10817-021-09597-w

Published Online: 2021-08-03

Published Print: 2021-10

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

Authors

Havlena, Vojtěch https://orcid.org/0000-0003-4375-7954
Holík, Lukáš https://orcid.org/0000-0001-6957-1651
Lengál, Ondřej https://orcid.org/0000-0002-3038-5875
Vojnar, Tomáš https://orcid.org/0000-0002-2746-8792
License Information

Text and Data Mining valid from 2021-08-03

Version of Record valid from 2021-08-03
More Information

Article History

Received: 15 April 2020

Accepted: 20 August 2020

First Online: 3 August 2021