%0 Conference Paper %1 conf/isaim/SavickyK16 %A Savický, Petr %A Kucera, Petr %B ISAIM %D 2016 %K dblp %T Generating models of a matched formula with a polynomial delay. %U http://dblp.uni-trier.de/db/conf/isaim/isaim2016.html#SavickyK16

@inproceedings{conf/isaim/SavickyK16, added-at = {2024-03-20T00:00:00.000+0100}, author = {Savický, Petr and Kucera, Petr}, biburl = {https://www.bibsonomy.org/bibtex/2ed6259e59b5dba04530ce3eaa04db4dc/dblp}, booktitle = {ISAIM}, crossref = {conf/isaim/2016}, ee = {https://isaim2016.cs.ou.edu/papers/ISAIM2016_Boolean_Savicky_Kucera.pdf}, interhash = {c4ed0c3d61fc4ae7dfda0a93f43222ba}, intrahash = {ed6259e59b5dba04530ce3eaa04db4dc}, keywords = {dblp}, timestamp = {2024-04-10T20:16:09.000+0200}, title = {Generating models of a matched formula with a polynomial delay.}, url = {http://dblp.uni-trier.de/db/conf/isaim/isaim2016.html#SavickyK16}, year = 2016 }