Berge-Fulkerson coloring for some families of superposition snarks.

Siyan Liu Rong-Xia Hao Cun-Quan Zhang

Published in: Eur. J. Comb. (2021)

Keyphrases

theorem proving
neural network
computational properties
artificial intelligence
decision making
mobile devices