Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 230,052,924 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.
2013
2013
Snark hunting: Progressive transformative possibilities in Australia's corporate law
D. Wishart
2013
Corpus ID: 155739294
2013
2013
"Oh, I Say, Jeeves!" A Calm Approach to Smart Home Input
John N. A. Brown
,
Bonifaz Kaufmann
,
Florian Bacher
,
Christophe Sourisse
,
M. Hitz
CHI-KDD
2013
Corpus ID: 12059201
Now that we are in the era of Ubiquitous Computing, our input devices must evolve beyond the mainframe and PC paradigms of the…
Expand
2011
2011
English Access to Structured Data
Kyle Richardson
,
D. Bobrow
,
C. Condoravdi
,
R. Waldinger
,
Amar K. Das
IEEE Fifth International Conference on Semantic…
2011
Corpus ID: 12219268
We present work on using a domain model to guide text interpretation, in the context of a project that aims to interpret English…
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
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
Deborah L. 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
1986
1986
A declarative language: SNARK
J. Laurière
1986
Corpus ID: 64377168
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
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
or Only Accept Required