The following pages link to (Q4298260):
Displayed 50 items.
- On the complexity of typechecking top-down XML transformations (Q555775) (← links)
- Boolean logics with relations (Q604451) (← links)
- Reexamination of an information geometric construction of entropic indicators of complexity (Q613216) (← links)
- The pervasive reach of resource-bounded Kolmogorov complexity in computational complexity theory (Q619899) (← links)
- The complexity of Boolean formula minimization (Q619911) (← links)
- More on the Magnus-Derek game (Q620945) (← links)
- Logic-based ontology comparison and module extraction, with an application to DL-Lite (Q622105) (← links)
- Updating action domain descriptions (Q622109) (← links)
- Outlier detection for simple default theories (Q622112) (← links)
- Fundamentals of quantum information theory (Q699526) (← links)
- Average-case complexity and decision problems in group theory. (Q703812) (← links)
- Turing machines, transition systems, and interaction (Q703844) (← links)
- Recognizing frozen variables in constraint satisfaction problems (Q706617) (← links)
- Trading polarizations for labels in P systems with active membranes (Q707497) (← links)
- Algorithms and time complexity of the request-service problem (Q711403) (← links)
- Complexity classes as mathematical axioms (Q731212) (← links)
- A theory of ultimately periodic languages and automata with an application to time granularity (Q731330) (← links)
- On complete one-way functions (Q734307) (← links)
- Unrestricted vs restricted cut in a tableau method for Boolean circuits (Q812394) (← links)
- Compiling propositional weighted bases (Q814606) (← links)
- \((p,k)\)-coloring problems in line graphs (Q817821) (← links)
- The complexity of learning concept classes with polynomial general dimension (Q817832) (← links)
- Probabilistic logic under coherence: complexity and algorithms (Q819942) (← links)
- A comparative runtime analysis of heuristic algorithms for satisfiability problems (Q835804) (← links)
- On the complexity of constrained Nash equilibria in graphical games (Q837182) (← links)
- Complexity of the identity checking problem for finite semigroups. (Q843593) (← links)
- In some curved spaces, one can solve NP-hard problems in polynomial time (Q843612) (← links)
- On the separability of subproblems in Benders decompositions (Q846136) (← links)
- Radiocolorings in periodic planar graphs: PSPACE-completeness and efficient approximations for the optimal range of frequencies (Q849634) (← links)
- On the role of Hadamard gates in quantum circuits (Q850548) (← links)
- Strong order equivalence (Q854968) (← links)
- Equilibrium logic (Q854969) (← links)
- On the tree-transformation power of XSLT (Q855270) (← links)
- Feasible insertions in job shop scheduling, short cycles and stable sets (Q856271) (← links)
- The \(p\)-median problem: a survey of metaheuristic approaches (Q864013) (← links)
- Complexity of admissible rules (Q868660) (← links)
- An efficient fixed-parameter algorithm for 3-hitting set (Q876698) (← links)
- Computational complexity of the landscape. I. (Q877685) (← links)
- Towards a dichotomy theorem for the counting constraint satisfaction problem (Q879594) (← links)
- Fast algorithms for robust classification with Bayesian nets (Q881796) (← links)
- A new construction technique of a triangle-free 3-colored K16's (Q881858) (← links)
- An efficient modular method for the control of concurrent discrete event systems: A language-based approach (Q884762) (← links)
- Social laws in alternating time: effectiveness, feasibility, and synthesis (Q885535) (← links)
- The computational complexity of evolutionarily stable strategies (Q926196) (← links)
- Partitioning a weighted partial order (Q927191) (← links)
- Relations between average-case and worst-case complexity (Q927398) (← links)
- Martingale families and dimension in P (Q930913) (← links)
- Stochastic limit-average games are in EXPTIME (Q933752) (← links)
- Good neighbors are hard to find: Computational complexity of network formation (Q934968) (← links)
- Bounded list injective homomorphism for comparative analysis of protein-protein interaction graphs (Q935835) (← links)