Nothing Special »
Address
:
[go:
up one dir
,
main page
]
Include Form
Remove Scripts
Accept Cookies
Show Images
Show Referer
Rotate13
Base64
Strip Meta
Strip Title
Session Cookies
Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 223,375,503 papers from all fields of science
Search
Sign In
Create Free Account
Snark (graph theory)
Known as:
Snark
, Snark theorem
In the mathematical field of graph theory, a snark is a simple, connected, bridgeless cubic graph with chromatic index equal to 4. In other words, it…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
17 relations
Bridge (graph theory)
Connectivity (graph theory)
Cycle double cover
Daniel P. Sanders
Expand
Broader (1)
Graph coloring
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
Simulation Extractability in Groth's zk-SNARK
Shahla Atapoor
,
Karim Baghery
IACR Cryptology ePrint Archive
2019
Corpus ID: 174799985
A Simulation Extractable (SE) zk-SNARK enables a prover to prove that she knows a witness for an instance in a way that the proof…
Expand
2012
2012
Small Snarks with Large Oddness
Robert Lukot'ka
,
Edita Mácajová
,
Ján Mazák
,
M. Škoviera
Electronic Journal of Combinatorics
2012
Corpus ID: 4805178
We estimate the minimum number of vertices of a cubic graph with given oddness and cyclic connectivity. We prove that a…
Expand
2007
2007
Whatever Happened to Deductive Question Answering?
R. Waldinger
Logic Programming and Automated Reasoning
2007
Corpus ID: 15431981
Deductive question answering, the extraction of answers to questions from machine-discovered proofs, is the poor cousin of…
Expand
2004
2004
From Snark to Park: Lessons Learnt Moving Pervasive Experiences From Indoors to Outdoors
E. Harris
,
G. Fitzpatrick
,
Y. Rogers
,
S. Price
,
Ted Phelps
,
C. Randell
Australasian User Interface Conference
2004
Corpus ID: 6220469
Pervasive technologies are increasingly being developed and used outdoors in different and innovative ways. However, designing…
Expand
Review
2004
Review
2004
Darkly Dreaming Dexter
J. Lindsay
2004
Corpus ID: 166792501
Sat, 05 Jan 2019 06:29:00 GMT darkly dreaming dexter pdf Darkly Dreaming Dexter is a 2004 novel by Jeff Lindsay, the first in his…
Expand
2003
2003
Trusting Answers on the Web
D. McGuinness
,
Paulo Pinheiro da Silva
2003
Corpus ID: 2657471
The Web lacks support for explaining information provenance. When web applications return answers, many users do not know what…
Expand
1995
1995
The hunting of the snark: the moral status of embryos, right-to-lifers, and Third World women.
Charo Ra
1995
Corpus ID: 151172219
1991
1991
Proving properties of rule-based systems
R. Waldinger
,
M. Stickel
[] Proceedings. The Seventh IEEE Conference on…
1991
Corpus ID: 35194705
A deductive method is applied to the validation of rule-based systems. A number of validation tasks, including the detection of…
Expand
1971
1971
Alice in Wonderland : authoritative texts of Alice's adventures in Wonderland, Through the looking-glass, The hunting of the snark, backgrounds, essays in criticism
L. Carroll
,
D. Gray
1971
Corpus ID: 161476779
Preface to the Third Edition Texts Alice's Adventures in Wonderland Through the Looking-Glass The Wasp in a Wig The Hunting of…
Expand
Highly Cited
1936
Highly Cited
1936
The Complete Works of Lewis Carroll
L. Carroll
1936
Corpus ID: 191102759
Everything that Lewis Carroll ever published in book form appears in this volume. In addition, at least ten of the shorter pieces…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE