A Dichotomy Theorem for the Inverse Satisfiability Problem (Q5136331): Difference between revisions

@@ label / en / label / en @@
+A Dichotomy Theorem for the Inverse Satisfiability Problem
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Definability
@@ Property / cites work: Decidability of Definability / rank @@
+Normal rank
@@ Property / cites work @@
+Inverse NP problems
@@ Property / cites work: Inverse NP problems / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean Constraint Satisfaction Problems: When Does Post’s Lattice Help?
+Normal rank
@@ Property / cites work @@
+Structure identification of Boolean relations and plain bases for co-clones
+Normal rank
@@ Property / cites work @@
+On generating all solutions of generalized satisfiability problems
+Normal rank
@@ Property / cites work @@
+Closed systems of functions and predicates
@@ Property / cites work: Closed systems of functions and predicates / rank @@
+Normal rank
@@ Property / cites work @@
+Constructing NP-intermediate problems by blowing holes with parameters of various properties
+Normal rank
@@ Property / cites work @@
+Strong partial clones and the time complexity of SAT problems
+Normal rank
@@ Property / cites work @@
+The Inverse Satisfiability Problem
@@ Property / cites work: The Inverse Satisfiability Problem / rank @@
+Normal rank
@@ Property / cites work @@
+On the Structure of Polynomial Time Reducibility
@@ Property / cites work: On the Structure of Polynomial Time Reducibility / rank @@
+Normal rank
@@ Property / cites work @@
+Weak bases of Boolean co-clones
@@ Property / cites work: Weak bases of Boolean co-clones / rank @@
+Normal rank
@@ Property / cites work @@
+The power of primitive positive definitions with polynomially many variables
+Normal rank
@@ Property / cites work @@
+The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
+Normal rank
@@ Property / cites work @@
+The algebras of partial functions and their invariants
+Normal rank
@@ Property / cites work @@
+The complexity of satisfiability problems
@@ Property / cites work: The complexity of satisfiability problems / rank @@
+Normal rank
@@ Property / cites work @@
+Enumerating All Solutions for Constraint Satisfaction Problems
+Normal rank
@@ Property / cites work @@
+Partial Polymorphisms and Constraint Satisfaction Problems
+Normal rank
@@ Property / full work available at URL @@
+https://drops.dagstuhl.de/opus/volltexte/2018/8374/pdf/LIPIcs-FSTTCS-2017-39.pdf/
+Normal rank
@@ Property / OpenAlex ID @@
+W2788734544
@@ Property / OpenAlex ID: W2788734544 / rank @@
+Normal rank
@@ Property / title @@
+A Dichotomy Theorem for the Inverse Satisfiability Problem (English)
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5136331