The following pages link to (Q2741531):
Displaying 6 items.
- 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)
