Entry Dubois:1997:GUB from jalg.bib
Last update: Sat Oct 14 02:35:45 MDT 2017
Top |
Symbols |
Numbers |
Math |
A |
B |
C |
D |
E |
F |
G |
H |
I |
J |
K |
L |
M |
N |
O |
P |
Q |
R |
S |
T |
U |
V |
W |
X |
Y |
Z
BibTeX entry
@Article{Dubois:1997:GUB,
author = "O. Dubois and Y. Boufkhad",
title = "A General Upper Bound for the Satisfiability Threshold
of Random $r$-{SAT} Formulae",
journal = j-J-ALG,
volume = "24",
number = "2",
pages = "395--420",
month = aug,
year = "1997",
CODEN = "JOALDV",
DOI = "https://doi.org/10.1006/jagm.1997.0867",
ISSN = "0196-6774 (print), 1090-2678 (electronic)",
ISSN-L = "0196-6774",
bibdate = "Tue Dec 11 09:16:44 MST 2012",
bibsource = "http://www.math.utah.edu/pub/tex/bib/jalg.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S0196677497908671",
acknowledgement = ack-nhfb,
fjournal = "Journal of Algorithms",
journal-URL = "http://www.sciencedirect.com/science/journal/01966774",
}
Related entries
- bound,
1(1)14,
1(2)142,
2(1)77,
3(1)1,
5(1)1,
6(3)393,
7(2)159,
8(1)53,
9(3)321,
11(2)242,
13(1)55,
15(1)101,
19(3)402,
21(3)476,
23(2)221,
23(2)329,
24(1)1,
25(1)1,
25(2)221,
27(1)1,
28(2)197,
32(1)1,
34(1)148,
34(2)222,
36(1)63,
38(1)184,
39(2)145,
44(1)4,
44(1)52,
45(2)192,
46(1)27,
48(1)2,
48(1)91,
55(2)101,
58(6)27,
61(1)20
- formulae,
5(3)363
- general,
3(1)14,
4(2)101,
10(4)557,
13(2)177,
13(2)274,
16(1)67,
17(3)342,
27(2)236,
28(1)67,
30(1)1,
42(1)153,
45(2)167,
48(2)360,
64(2)79
- random,
1(3)213,
4(3)205,
4(3)214,
5(2)247,
5(4)488,
6(4)466,
9(2)181,
10(1)52,
10(4)451,
11(1)52,
11(2)185,
13(2)258,
14(3)381,
19(2)204,
20(2)312,
21(1)176,
23(1)195,
27(2)170,
27(2)218,
29(2)358,
37(1)218,
39(1)78,
40(1)102,
42(1)153,
44(1)121,
54(1)72
- SAT,
40(2)184,
42(1)173,
63(1)17,
63(1)90
- satisfiability,
1(1)97,
17(3)475,
36(1)63,
45(2)192,
47(2)87,
54(1)40,
63(1)3,
63(4)151
- Threshold,
44(2)338
- upper,
7(2)159,
9(3)321,
28(2)197,
34(1)148,
36(1)63,
48(1)91