Towards a constructive formalization of perfect graph theorems

DOI10.1007/978-3-662-58771-3_17MaRDI QIDQ2284192zbMATH OpenOpenAlexFDO

Authors Abhishek Kr Singh, Raja Natarajan

Publication date 14 January 2020

Full work available at URL https://arxiv.org/abs/1812.11108

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) General logic (03Bxx)

Recommendations

• Perfect graphs
• The strong perfect graph theorem
• Progress on perfect graphs
• scientific article; zbMATH DE number 1789914
• On the strong perfect graph conjecture

Cited in

(1)

• Hall's theorem for enumerable families of finite sets

Describes a project that uses

Uses Software

• Coq

This page was built for publication: Towards a constructive formalization of perfect graph theorems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2284192)