cs0009006/extabs.bbl
1: \begin{thebibliography}{10}
2: 
3: \bibitem{AloKah-SJC-97}
4: N.~Alon and N.~Kahale.
5: \newblock {A spectral technique for coloring random $3$-colorable graphs}.
6: \newblock {\em SIAM J. Comput.} 26(6):1733--1748, 1997,
7:   \url{http://www.research.att.com/~kahale/papers/jour.ps}.
8: 
9: \bibitem{BeiEpp-FOCS-95}
10: R.~Beigel and D.~Eppstein.
11: \newblock {3-coloring in time $O(1.3446^n)$: a no-MIS algorithm}.
12: \newblock {\em Proc. 36th Symp. Foundations of Computer Science}, pp. 444--453.
13:   Inst. of Electrical {\&} Electronics Engineers, October 1995,
14:   \url{ftp://ftp.eccc.uni-trier.de/pub/eccc/reports/1995/TR95-033/index.html}.
15: 
16: \bibitem{cs.DS/0006046}
17: R.~Beigel and D.~Eppstein.
18: \newblock {3-coloring in time $O(1.3289^n)$}.
19: \newblock ACM Computing Research Repository, June 2000.
20: \newblock cs.DS/0006046.
21: 
22: \bibitem{BluKar-IPL-97}
23: A.~Blum and D.~Karger.
24: \newblock {An $\tilde{O}(n^{3/14})$-coloring algorithm for $3$-colorable
25:   graphs}.
26: \newblock {\em Inf. Proc. Lett.} 61(1):49--53, 1997,
27:   \url{http://www.cs.cmu.edu/~avrim/Papers/color_new.ps.gz}.
28: 
29: \bibitem{Dan-JSM-83}
30: E.~Dantsin.
31: \newblock {Two systems for proving tautologies, based on the split method}.
32: \newblock {\em J. Sov. Math.} 22:1293--1305, 1983.
33: \newblock Original Russian article appeared in 1981.
34: 
35: \bibitem{DanHir-TR-00}
36: E.~Dantsin and E.~A. Hirsch.
37: \newblock {Algorithms for $k$-SAT based on covering codes}.
38: \newblock Preprint 1/2000, Steklov Inst. of Mathematics, 2000,
39:   \url{ftp://ftp.pdmi.ras.ru/pub/publicat/preprint/2000/01-00.ps.gz}.
40: 
41: \bibitem{DavPut-JACM-60}
42: M.~Davis and H.~Putnam.
43: \newblock {A computing procedure for quantification theory}.
44: \newblock {\em J. ACM} 7(3):201--215, 1960.
45: 
46: \bibitem{FedMot-98}
47: T.~Feder and R.~Motwani.
48: \newblock {Worst-case time bounds for coloring and satisfiability problems}.
49: \newblock Manuscript, September 1998.
50: 
51: \bibitem{GraHirNie-SAT-00}
52: J.~Gramm, E.~A. Hirsch, R.~Niedermeier, and P.~Rossmanith.
53: \newblock {Better worst-case upper bounds for MAX-2-SAT}.
54: \newblock {\em 3rd Worksh. on the Satisfiability Problem}, 2000,
55:   \url{http://ssor.twi.tudelft.nl/~warners/SAT2000abstr/hirsch.html}.
56: 
57: \bibitem{Hir-SODA-98}
58: E.~A. Hirsch.
59: \newblock {Two new upper bounds for SAT}.
60: \newblock {\em Proc. 9th ACM-SIAM Symp. Discrete Algorithms}, pp. 521--530,
61:   1998, \url{http://logic.pdmi.ras.ru/~hirsch/abstracts/soda98.html}.
62: 
63: \bibitem{JenTof-95}
64: T.~R. Jensen and B.~Toft.
65: \newblock {\em {Graph Coloring Problems}}.
66: \newblock Ser. Discrete Mathematics and Optimization. John Wiley {\&} Sons,
67:   Inc., New York, 1995.
68: 
69: \bibitem{Kul-TCS-99}
70: O.~Kullmann.
71: \newblock {New methods for 3-SAT decision and worst-case analysis}.
72: \newblock {\em Theor. Comp. Sci.} 223(1--2):1--72, July 1999,
73:   \url{http://www.cs.toronto.edu/~kullmann/3neu.ps}.
74: 
75: \bibitem{KulLuc-ms-94}
76: O.~Kullmann and H.~Luckhardt.
77: \newblock {Various upper bounds on the complexity of algorithms for deciding
78:   propositional tautologies}.
79: \newblock Manuscript available from
80:   \url{kullmann@mi.informatik.uni-frankfurt.de}, 1994.
81: 
82: \bibitem{Kum-AIM-92}
83: V.~Kumar.
84: \newblock {Algorithms for constraint satisfaction problems: a survey}.
85: \newblock {\em AI Magazine} 13(1):32--44, 1992,
86:   \url{http://citeseer.nj.nec.com/kumar92algorithms.html}.
87: 
88: \bibitem{Law-IPL-76}
89: E.~L. Lawler.
90: \newblock {A note on the complexity of the chromatic number problem}.
91: \newblock {\em Inf. Proc. Lett.} 5(3):66--67, August 1976.
92: 
93: \bibitem{Luc-FC-84}
94: H.~Luckhardt.
95: \newblock {Obere Komplexit{\"a}tsschranken f{\"u}r TAUT-Entscheidungen}.
96: \newblock {\em Proc. Frege Conf., Schwerin}, pp. 331--337. Akademie-Verlag,
97:   1984.
98: 
99: \bibitem{MonSpe-DAM-85}
100: B.~Monien and E.~Speckenmeyer.
101: \newblock {Solving satisfiability in less than $2^n$ steps}.
102: \newblock {\em Discrete Appl. Math.} 10(3):287--295, March 1985.
103: 
104: \bibitem{PatPudSak-FOCS-98}
105: R.~Paturi, P.~Pudl{\'a}k, M.~E. Saks, and F.~Zane.
106: \newblock {An improved exponential-time algorithm for $k$-SAT}.
107: \newblock {\em Proc. 39th Symp. Foundations of Computer Science}, pp. 628--637.
108:   IEEE, 1998, \url{http://www.math.cas.cz/~pudlak/ppsz.ps}.
109: 
110: \bibitem{PetWel-DM-89}
111: A.~D. Petford and D.~J.~A. Welsh.
112: \newblock {A randomised $3$-colouring algorithm}.
113: \newblock {\em Discrete Math.} 74(1--2):253--261, 1989.
114: 
115: \bibitem{Rod-AISMC-96}
116: R.~Rodo{\v{s}}ek.
117: \newblock {A new approach on solving 3-satisfiability}.
118: \newblock {\em Proc. 3rd Int. Conf. Artificial Intelligence and Symbolic
119:   Mathematical Computation}, pp. 197--212. Springer-Verlag, Lecture Notes in
120:   Computer Science 1138, 1996,
121:   \url{http://www-icparc.doc.ic.ac.uk/papers/a_new_approach_on_solving_3-satis%
122: fiabili.ps}.
123: 
124: \bibitem{Sch-CSL-92}
125: I.~Schiermeyer.
126: \newblock {Solving 3-satisfiability in less than $1.579^n$ steps}.
127: \newblock {\em Proc. 6th Worksh. Computer Science Logic}, pp. 379--394.
128:   Springer-Verlag, Lecture Notes in Comp. Sci. 702, 1993.
129: 
130: \bibitem{Sch-WG-93}
131: I.~Schiermeyer.
132: \newblock {Deciding 3-colourability in less than $O(1.415^n)$ steps}.
133: \newblock {\em Proc. 19th Int. Worksh. Graph-Theoretic Concepts in Computer
134:   Science}, pp. 177--182. Springer-Verlag, Lecture Notes in Comp. Sci. 790,
135:   1994.
136: 
137: \bibitem{Sch-FOCS-99}
138: U.~Sch{\"o}ning.
139: \newblock {A probabilistic algorithm for k-SAT and constraint satisfaction
140:   problems}.
141: \newblock {\em Proc. 40th IEEE Symp. Foundations of Computer Science}, pp.
142:   410--414, October 1999.
143: 
144: \bibitem{Sel-FXS-00}
145: B.~Selman.
146: \newblock {Satisfiability testing: theory and practice}.
147: \newblock {\em DIMACS Worksh. Faster Exact Solutions for NP-Hard Problems},
148:   February 2000.
149: 
150: \bibitem{Vla-TAI-95}
151: R.~D. Vlasie.
152: \newblock {Systematic generation of very hard cases for graph 3-colorability }.
153: \newblock {\em Proc. 7th IEEE Int. Conf. Tools with Artificial Intelligence},
154:   pp. 114--119, 1995, \url{http://www.essi.fr/~vlasier/PS/3paths.ps}.
155: 
156: \end{thebibliography}
157: