Pages that link to "Item:Q3918109"
From MaRDI portal
The following pages link to The algebras of partial functions and their invariants (Q3918109):
Displaying 33 items.
- Weakly extendable partial clones on an infinite set. (Q271698) (← links)
- Strong partial clones and the time complexity of SAT problems (Q340559) (← links)
- On the interval of strong partial clones of Boolean functions containing \(\mathrm{Pol}(\{(0, 0), (0, 1), (1, 0)\})\) (Q509534) (← links)
- Gap theorems for robust satisfiability: Boolean CSPs and beyond (Q527405) (← links)
- Uniqueness of minimal coverings of maximal partial clones (Q634766) (← links)
- Trichotomies in the complexity of minimal inference (Q692908) (← links)
- Extendable local partial clones (Q932624) (← links)
- Homogeneous and strictly homogeneous criteria for partial structures (Q1028463) (← links)
- Completeness theory for the product of finite partial algebras (Q1421526) (← links)
- Endpoints of associated intervals for local clones on an infinite set (Q1800465) (← links)
- Maximal local classes of partial functions of infinite-valued logic (Q1816327) (← links)
- Regularization of integer vector optimization problems (Q1894523) (← links)
- Minimal realizations of discrete systems (Q1894528) (← links)
- Design of symbolic-processing algorithms (Q1895006) (← links)
- Mutually complementary formalizations of deductive query languages (Q1895016) (← links)
- On multilevel structured program design for process-control systems (Q1895038) (← links)
- Probabilistic automata and simulation (Q1895044) (← links)
- Alphabet operators and algorithms (Q1895046) (← links)
- Stability of discrete optimization problems (Q1895049) (← links)
- Convergence of a simulation method for solution of combinatorial optimization problems (Q1895067) (← links)
- Optimizing the time to cross a region (Q1895069) (← links)
- Maximal finitely defined subalgebras of partial functions of infinite- valued logic (Q1899532) (← links)
- On the action of the implicative closure operator on the set of partial functions of the multivalued logic (Q2050224) (← links)
- Complexity of inverse constraint problems and a dichotomy for the inverse satisfiability problem (Q2221799) (← links)
- Minimal distance of propositional models (Q2322705) (← links)
- Dichotomy on intervals of strong partial Boolean clones (Q2351515) (← links)
- Weak bases of Boolean co-clones (Q2448853) (← links)
- The completeness problem in partial hyperclones (Q2497478) (← links)
- General lower bounds and improved algorithms for infinite-domain CSPs (Q2700386) (← links)
- Polymorphism-homogeneity and universal algebraic geometry (Q5038199) (← links)
- (Q5092397) (← links)
- Time Complexity of Constraint Satisfaction via Universal Algebra (Q5111231) (← links)
- A Dichotomy Theorem for the Inverse Satisfiability Problem (Q5136331) (← links)
