An initial study of time complexity in infinite-domain constraint satisfaction

DOI10.1016/j.artint.2017.01.005zbMath1402.68162OpenAlexW2582970508MaRDI QIDQ514144

Could not fetch data.

Publication date: 28 February 2017

Published in: (Search for Journal in Brave)

Full work available at URL: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-136570

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.