NP-completeness of small conflict set generation for congruence closure

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	1-12
Number of pages	12
Journal	Formal Methods in System Design
Volume	50
Issue number	137
DOIs	https://doi.org/10.1007/s10703-017-0283-x
Publication status	Published - 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 -