NP-completeness of small conflict set generation for congruence closure
Crossref DOI link: https://doi.org/10.1007/s10703-017-0283-x
Published Online: 2017-06-22
Published Print: 2017-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Fellner, Andreas http://orcid.org/0000-0002-3618-2251
Fontaine, Pascal
Paleo, Bruno Woltzenlogel
Funding for this research was provided by:
Agence Nationale de la Recherche (ANR-13-IS02-0001)
AW Apart
Austrian Research Promotion Agency (FFG) (845582)
Austrian Science Fund (ID0EZDAG346)
License valid from 2017-06-22