Pages that link to "Item:Q1408378"
From MaRDI portal
The following pages link to Resolution and binary decision diagrams cannot simulate each other polynomially (Q1408378):
Displayed 6 items.
- Decomposition representations of logical equations in problems of inversion of discrete functions (Q404200) (← links)
- A direct construction of polynomial-size OBDD proof of pigeon hole problem (Q987797) (← links)
- Binary decision diagrams for first-order predicate logic. (Q1426055) (← links)
- Resolution cannot polynomially simulate compressed-BFS (Q1776193) (← links)
- Extended resolution simulates binary decision diagrams (Q2478427) (← links)
- (Q5121904) (← links)