Generalized Satisfiability Problems via Operator Assignments

First Author: Atserias A

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-662-55751-8_6

Publication URI: https://doi.org/10.1007/978-3-662-55751-8_6

Type: Book Chapter

Book Title: Fundamentals of Computation Theory (2017)

Page Reference: 56-68