%0 Conference Paper %1 conf/lata/ZakirzyanovMIUM19 %A Zakirzyanov, Ilya %A Morgado, António %A Ignatiev, Alexey %A Ulyantsev, Vladimir %A Marques-Silva, João %B LATA %D 2019 %E Martín-Vide, Carlos %E Okhotin, Alexander %E Shapira, Dana %I Springer %K dblp %P 159-173 %T Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference. %U http://dblp.uni-trier.de/db/conf/lata/lata2019.html#ZakirzyanovMIUM19 %V 11417 %@ 978-3-030-13435-8

@inproceedings{conf/lata/ZakirzyanovMIUM19, added-at = {2023-02-12T00:00:00.000+0100}, author = {Zakirzyanov, Ilya and Morgado, António and Ignatiev, Alexey and Ulyantsev, Vladimir and Marques-Silva, João}, biburl = {https://www.bibsonomy.org/bibtex/21b04b6999121058a9f6a0d42580a29d3/dblp}, booktitle = {LATA}, crossref = {conf/lata/2019}, editor = {Martín-Vide, Carlos and Okhotin, Alexander and Shapira, Dana}, ee = {https://doi.org/10.1007/978-3-030-13435-8_12}, interhash = {44841512bbf02b9cc9027d4d22ef9233}, intrahash = {1b04b6999121058a9f6a0d42580a29d3}, isbn = {978-3-030-13435-8}, keywords = {dblp}, pages = {159-173}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T08:53:44.000+0200}, title = {Efficient Symmetry Breaking for SAT-Based Minimum DFA Inference.}, url = {http://dblp.uni-trier.de/db/conf/lata/lata2019.html#ZakirzyanovMIUM19}, volume = 11417, year = 2019 }