Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1707.04053
Cited By
Clingo goes Linear Constraints over Reals and Integers
13 July 2017
Tomi Janhunen
Roland Kaminski
M. Ostrowski
Torsten Schaub
S. Schellhorn
P. Wanko
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Clingo goes Linear Constraints over Reals and Integers"
1 / 1 papers shown
Title
System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers
M. Bartholomew
Joohyung Lee
LRM
87
30
0
12 Jun 2025
1
