Generalized Satisfiability Problems via Operator Assignments

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Albert Atserias, Phokion G. Kolaitis, Simone Severini

Journal title: 21st International Symposium, FCT 2017

Journal number: Lecture Notes in Computer Science 10472

Journal publisher: Springer Berlin Heidelberg

Published year: 2017

Published pages: 56-68

DOI identifier: 10.1007/978-3-662-55751-8_6

ISBN: 978-3-662-55750-1