Decidable linear list constraints
From MaRDI portal
Publication:4645734
DOI10.29007/d7t4zbMath1403.68232OpenAlexW2740608080MaRDI QIDQ4645734
Publication date: 10 January 2019
Published in: EPiC Series in Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.29007/d7t4
Related Items