Learn with SAT to Minimize Büchi Automata. Barth, S. & Hofmann 0001, M. In Proceedings of GandALF, pages 71-84, 2012. ![Learn with SAT to Minimize Büchi Automata [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex @inproceedings{ dblp2583063,
title = {Learn with SAT to Minimize Büchi Automata},
author = {Stephan Barth and Martin Hofmann 0001},
author_short = {Barth, S. and Hofmann 0001, M.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2012},
key = {dblp2583063},
id = {dblp2583063},
biburl = {http://www.dblp.org/rec/bibtex/journals/corr/abs-1210-2452},
url = {http://dx.doi.org/10.4204/EPTCS.96.6},
conference = {GandALF},
pages = {71-84},
text = {GandALF 2012:71-84},
booktitle = {Proceedings of GandALF}
}
Downloads: 0
{"_id":{"_str":"52a3062f9eb585cc26001f42"},"__v":3,"authorIDs":["5480332fa29145d03f000f13"],"author_short":["Barth, S.","Hofmann 0001, M."],"bibbaseid":"barth-hofmann0001-learnwithsattominimizebchiautomata-2012","bibdata":{"title":"Learn with SAT to Minimize Büchi Automata","author":["Stephan Barth","Martin Hofmann 0001"],"author_short":["Barth, S.","Hofmann 0001, M."],"bibtype":"inproceedings","type":"inproceedings","year":"2012","key":"dblp2583063","id":"dblp2583063","biburl":"http://www.dblp.org/rec/bibtex/journals/corr/abs-1210-2452","url":"http://dx.doi.org/10.4204/EPTCS.96.6","conference":"GandALF","pages":"71-84","text":"GandALF 2012:71-84","booktitle":"Proceedings of GandALF","bibtex":"@inproceedings{ dblp2583063,\n title = {Learn with SAT to Minimize Büchi Automata},\n author = {Stephan Barth and Martin Hofmann 0001},\n author_short = {Barth, S. and Hofmann 0001, M.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2012},\n key = {dblp2583063},\n id = {dblp2583063},\n biburl = {http://www.dblp.org/rec/bibtex/journals/corr/abs-1210-2452},\n url = {http://dx.doi.org/10.4204/EPTCS.96.6},\n conference = {GandALF},\n pages = {71-84},\n text = {GandALF 2012:71-84},\n booktitle = {Proceedings of GandALF}\n}","bibbaseid":"barth-hofmann0001-learnwithsattominimizebchiautomata-2012","role":"author","urls":{"Paper":"http://dx.doi.org/10.4204/EPTCS.96.6"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/journals/corr/abs-1210-2452","downloads":0,"keywords":[],"search_terms":["learn","sat","minimize","chi","automata","barth","hofmann 0001"],"title":"Learn with SAT to Minimize Büchi Automata","year":2012,"dataSources":["zb9rxgkcRg278BbFN"]}