C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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