%0 Journal Article %1 journals/jsat/Leofante23 %A Leofante, Francesco %D 2023 %J J. Satisf. Boolean Model. Comput. %K dblp %N 1 %P 17-23 %T OMTPlan: A Tool for Optimal Planning Modulo Theories. %U http://dblp.uni-trier.de/db/journals/jsat/jsat14.html#Leofante23 %V 14

@article{journals/jsat/Leofante23, added-at = {2023-09-30T00:00:00.000+0200}, author = {Leofante, Francesco}, biburl = {https://www.bibsonomy.org/bibtex/2fb76b84b48f42278e88e4745cd26dd7f/dblp}, ee = {https://doi.org/10.3233/sat-220001}, interhash = {d4814d947f468d84a96891ad49895556}, intrahash = {fb76b84b48f42278e88e4745cd26dd7f}, journal = {J. Satisf. Boolean Model. Comput.}, keywords = {dblp}, month = {January}, number = 1, pages = {17-23}, timestamp = {2024-04-08T19:10:46.000+0200}, title = {OMTPlan: A Tool for Optimal Planning Modulo Theories.}, url = {http://dblp.uni-trier.de/db/journals/jsat/jsat14.html#Leofante23}, volume = 14, year = 2023 }