On the decidability of finding a positive ILP-instance in a regular set of ILP-instances

Wolf, P

Wolf, P (通讯作者),Univ Trier, FB 4 Abt Informat Wissensch, Trier, Germany.

ACTA INFORMATICA, 2022; 59 (4): 505