Ширина резолюционных доказательств. Связь ширины и размера для древовидных и обычных резолюционных доказательств. Цейтинские формулы, расширительная способность графа, нижние оценки.