NP-completeness of small conflict set generation for congruence closure

Andreas Fellner, Pascal Fontaine, Bruno Woltzenlogel Paleo

Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

Originalsprache	Englisch
Seiten (von - bis)	1-12
Seitenumfang	12
Fachzeitschrift	Formal Methods in System Design
Volume	50
Issue	137
DOIs	https://doi.org/10.1007/s10703-017-0283-x
Publikationsstatus	Veröffentlicht - 2017

Research Field

@article{60fc24b83e6a4d65904423f221bbc870,

title = "NP-completeness of small conflict set generation for congruence closure",

author = "Andreas Fellner and Pascal Fontaine and \{Woltzenlogel Paleo\}, Bruno",

year = "2017",

doi = "10.1007/s10703-017-0283-x",

language = "English",

volume = "50",

pages = "1--12",

journal = "Formal Methods in System Design",

issn = "0925-9856",

publisher = "Springer Netherlands",

number = "137",

}

TY - JOUR

T1 - NP-completeness of small conflict set generation for congruence closure

AU - Fellner, Andreas

AU - Fontaine, Pascal

AU - Woltzenlogel Paleo, Bruno

PY - 2017

Y1 - 2017

U2 - 10.1007/s10703-017-0283-x

DO - 10.1007/s10703-017-0283-x

M3 - Article

SN - 0925-9856

VL - 50

SP - 1

EP - 12

JO - Formal Methods in System Design

JF - Formal Methods in System Design

IS - 137

ER -