%0 Conference Paper %1 conf/staf/Hinkel19 %A Hinkel, Georg %B TTC@STAF %D 2019 %E García-Domínguez, Antonio %E Hinkel, Georg %E Krikava, Filip %I CEUR-WS.org %K dblp %P 9-13 %T An NMF Solution to the TTC 2019 Truth Tables to Binary Decision Diagrams Case. %U http://dblp.uni-trier.de/db/conf/staf/ttc2019.html#Hinkel19 %V 2550

@inproceedings{conf/staf/Hinkel19, added-at = {2023-03-10T00:00:00.000+0100}, author = {Hinkel, Georg}, biburl = {https://www.bibsonomy.org/bibtex/2688f191df2c167533c9d23644051cc8c/dblp}, booktitle = {TTC@STAF}, crossref = {conf/staf/2019ttc}, editor = {García-Domínguez, Antonio and Hinkel, Georg and Krikava, Filip}, ee = {https://ceur-ws.org/Vol-2550/paper1.pdf}, interhash = {ca1d98c7d1fe41790053de4e95e2c25a}, intrahash = {688f191df2c167533c9d23644051cc8c}, keywords = {dblp}, pages = {9-13}, publisher = {CEUR-WS.org}, series = {CEUR Workshop Proceedings}, timestamp = {2024-04-09T20:24:20.000+0200}, title = {An NMF Solution to the TTC 2019 Truth Tables to Binary Decision Diagrams Case.}, url = {http://dblp.uni-trier.de/db/conf/staf/ttc2019.html#Hinkel19}, volume = 2550, year = 2019 }