Generalized satisfiability problems via operator assignments
Atserias, Albert, Kolaitis, Phokion G., Severini, SimoneVolume:
105
Language:
english
Journal:
Journal of Computer and System Sciences
DOI:
10.1016/j.jcss.2019.05.003
Date:
November, 2019
File:
PDF, 823 KB
english, 2019