Clingo goes linear constraints over reals and integers
JANHUNEN, TOMI, KAMINSKI, ROLAND, OSTROWSKI, MAX, SCHELLHORN, SEBASTIAN, WANKO, PHILIPP, SCHAUB, TORSTENVolume:
17
Language:
english
Journal:
Theory and Practice of Logic Programming
DOI:
10.1017/S1471068417000242
Date:
September, 2017
File:
PDF, 191 KB
english, 2017