The following pages link to (Q4934341):
Displayed 9 items.
- On the Boolean connectivity problem for Horn relations (Q608293) (← links)
- Recognizing frozen variables in constraint satisfaction problems (Q706617) (← links)
- Isomorphic implication (Q2272203) (← links)
- Minimal distance of propositional models (Q2322705) (← links)
- As Close as It Gets (Q2803825) (← links)
- On the Structure of Solution-Graphs for Boolean Formulas (Q2947874) (← links)
- Unique Perfect Phylogeny Is NP-Hard (Q3011849) (← links)
- (Q5092397) (← links)
- Boolean Constraint Satisfaction Problems: When Does Post’s Lattice Help? (Q5504698) (← links)