Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Journal Article
%1 journals/fmsd/FellnerFP17
%A Fellner, Andreas
%A Fontaine, Pascal
%A Paleo, Bruno Woltzenlogel
%D 2017
%J Formal Methods in System Design
%K dblp
%N 3
%P 533-544
%T NP-completeness of small conflict set generation for congruence closure.
%U http://dblp.uni-trier.de/db/journals/fmsd/fmsd51.html#FellnerFP17
%V 51
@article{journals/fmsd/FellnerFP17,
added-at = {2019-06-02T00:00:00.000+0200},
author = {Fellner, Andreas and Fontaine, Pascal and Paleo, Bruno Woltzenlogel},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2f4a7c09bd9398b1ff666c384fabcce9b/dblp},
ee = {https://www.wikidata.org/entity/Q59521641},
interhash = {487cbab06c498dd503c3cd3622c535a6},
intrahash = {f4a7c09bd9398b1ff666c384fabcce9b},
journal = {Formal Methods in System Design},
keywords = {dblp},
number = 3,
pages = {533-544},
timestamp = {2019-09-27T07:45:24.000+0200},
title = {NP-completeness of small conflict set generation for congruence closure.},
url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd51.html#FellnerFP17},
volume = 51,
year = 2017
}
