Login / Signup
A proof of a conjecture of Gyárfás, Lehel, Sárközy and Schelp on Berge-cycles.
G. R. Omidi
Published in:
Comb. Probab. Comput. (2021)
Keyphrases
</>
radio frequency
relevance feedback
database
information systems
theorem prover
theorem proving
proof planning
objective function
knowledge representation
automated theorem proving
logical rules
geometry theorem proving