Skip to content

Commit

Permalink
fix jakaosscscwa17a
Browse files Browse the repository at this point in the history
  • Loading branch information
jorgefandinno committed Jan 26, 2025
1 parent 6cef2d3 commit 5d734c9
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion krr.bib
Original file line number Diff line number Diff line change
Expand Up @@ -14659,7 +14659,7 @@ @article{jajuni05a

@article{jakaosscscwa17a,
title = {Clingo goes Linear Constraints over Reals and Integers},
author = {T. Janhunen and R. Kaminski and M. Ostrowski and T. Schaub and S. Schellhorn and P. Wanko},
author = {T. Janhunen and R. Kaminski and M. Ostrowski and S. Schellhorn and P. Wanko and T. Schaub},
doi = {10.1017/S1471068417000242},
journal = tplp,
number = {5-6},
Expand Down

0 comments on commit 5d734c9

Please sign in to comment.