%0 Journal Article %1 journals/corr/abs-2402-03273 %A Dabrowski, Konrad K. %A Jonsson, Peter %A Ordyniak, Sebastian %A Osipov, George %D 2024 %J CoRR %K dblp %T Algorithms and Complexity of Difference Logic. %U http://dblp.uni-trier.de/db/journals/corr/corr2402.html#abs-2402-03273 %V abs/2402.03273

@article{journals/corr/abs-2402-03273, added-at = {2024-02-12T00:00:00.000+0100}, author = {Dabrowski, Konrad K. and Jonsson, Peter and Ordyniak, Sebastian and Osipov, George}, biburl = {https://www.bibsonomy.org/bibtex/270eebe8ea47b592b7fdb7154ae9d9e9a/dblp}, ee = {https://doi.org/10.48550/arXiv.2402.03273}, interhash = {7927d9ed4f5265a76c38b3ac80553120}, intrahash = {70eebe8ea47b592b7fdb7154ae9d9e9a}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T21:55:28.000+0200}, title = {Algorithms and Complexity of Difference Logic.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2402.html#abs-2402-03273}, volume = {abs/2402.03273}, year = 2024 }