Pages that link to "Item:Q2741531"
From MaRDI portal
The following pages link to A satisfiability formulation of problems on level graphs (Q2741531):
Displaying 7 items.
- Generalized \(k\)-ary tanglegrams on level graphs: a satisfiability-based approach and its evaluation (Q714020) (← links)
- Satisfiability of mixed Horn formulas (Q997066) (← links)
- Beyond Level Planarity (Q2961540) (← links)
- A Satisfiability-Based Approach for Embedding Generalized Tanglegrams on Level Graphs (Q3007679) (← links)
- On Some Aspects of Mixed Horn Formulas (Q3637161) (← links)
- Practical Level Planarity Testing and Layout with Embedding Constraints (Q5452211) (← links)
- (Q6065397) (← links)