Pages that link to "Item:Q3738576"
From MaRDI portal
The following pages link to Minimal Representation of Directed Hypergraphs (Q3738576):
Displayed 24 items.
- Boolean functions with a simple certificate for CNF complexity (Q412324) (← links)
- On-line algorithms for satisfiability problems with uncertainty (Q673379) (← links)
- A subclass of Horn CNFs optimally compressible in polynomial time (Q693287) (← links)
- Disjoint essential sets of implicates of a CQ Horn function (Q766268) (← links)
- Dynamic maintenance of directed hypergraphs (Q913481) (← links)
- Exclusive and essential sets of implicates of Boolean functions (Q968115) (← links)
- Linear connectivity problems in directed hypergraphs (Q1029330) (← links)
- Amortized efficiency of a path retrieval data structure (Q1099629) (← links)
- Reconstructing a history of recombinations from a set of sequences (Q1281773) (← links)
- A hypergraph model for constraint logic programming and applications to bus drivers' scheduling (Q1353919) (← links)
- Partially dynamic maintenance of minimum weight hyperpaths (Q1775013) (← links)
- Extension and equivalence problems for clause minimal formulae (Q1777408) (← links)
- Directed hypergraphs and applications (Q1803674) (← links)
- Dynamic maintenance of the transitive closure in disjunctive graphs (Q1924722) (← links)
- Bidual Horn functions and extensions (Q1961447) (← links)
- Attribute-incremental construction of the canonical implication basis (Q2385433) (← links)
- Redundancy in logic. II: 2CNF and Horn propositional formulae (Q2389621) (← links)
- Redundancy in logic. III: Non-monotonic reasoning (Q2389660) (← links)
- Finding the \(K\) best policies in a finite-horizon Markov decision process (Q2433472) (← links)
- Redundancy in logic. I: CNF propositional formulae (Q2457681) (← links)
- Autonomous Sets – A Method for Hypergraph Decomposition with Applications in Database Theory (Q5445294) (← links)
- The complexity of arc-colorings for directed hypergraphs (Q5899364) (← links)
- The complexity of arc-colorings for directed hypergraphs (Q5917590) (← links)
- Dynamic algorithms for classes of constraint satisfaction problems (Q5941281) (← links)