Crossmark

On certifying the UNSAT result of dynamic symmetry-handling-based SAT solvers

Crossref DOI link: https://doi.org/10.1007/s10601-020-09313-2

Published Online: 2020-10-30

Published Print: 2020-12

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

Authors

Tchinda, Rodrigue Konan https://orcid.org/0000-0002-1994-4699
Djamegni, Clémentin Tayou
License Information

Text and Data Mining valid from 2020-10-30

Version of Record valid from 2020-10-30
More Information

Article History

Accepted: 5 October 2020

First Online: 30 October 2020