322 search results - page 65 / 65 » Satisfiability Coding Lemma |
108
Voted
ECOOP
2012
Springer
13 years 3 months ago
2012
Springer
Abstract. The Jetpack framework is Mozilla’s newly-introduced extension development technology. Motivated primarily by the need to improve how scriptable extensions (also called ...
132
Voted
DM
2000
15 years 28 days ago
2000
Erdos proved that there are graphs with arbitrarily large girth and chromatic number. We study the extension of this for generalized chromatic numbers. Generalized graph coloring d...