The following pages link to P. Yu. Suvorov (Q1154811):
Displaying 7 items.
- On the recognition of the tautological nature of propositional formulas (Q1154812) (← links)
- Representation of proofs by colored graphs and the Hadwiger conjecture (Q1168979) (← links)
- A reduction of propositional tautologihood to the coloring of graphs in three colors (Q1256441) (← links)
- (Q3793276) (← links)
- (Q3866147) (← links)
- (Q4111102) (← links)
- (Q4128519) (← links)
