Entry Niedermeier:2000:NUB 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{Niedermeier:2000:NUB,
author = "Rolf Niedermeier and Peter Rossmanith",
title = "New Upper Bounds for Maximum Satisfiability",
journal = j-J-ALG,
volume = "36",
number = "1",
pages = "63--88",
month = jul,
year = "2000",
CODEN = "JOALDV",
DOI = "https://doi.org/10.1006/jagm.2000.1075",
ISSN = "0196-6774 (print), 1090-2678 (electronic)",
ISSN-L = "0196-6774",
bibdate = "Tue Dec 11 09:18:17 MST 2012",
bibsource = "http://www.math.utah.edu/pub/tex/bib/jalg.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S0196677400910757",
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,
24(2)395,
25(1)1,
25(2)221,
27(1)1,
28(2)197,
32(1)1,
34(1)148,
34(2)222,
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
- maximum,
2(1)88,
4(2)121,
4(4)310,
6(1)10,
7(3)425,
8(4)592,
10(4)557,
13(1)161,
15(3)416,
16(3)431,
17(3)447,
17(3)475,
21(2)415,
22(1)57,
24(1)177,
25(1)1,
29(1)132,
34(2)337,
40(2)159,
41(1)99,
46(2)140,
50(1)23,
54(1)105
- new,
2(1)50,
5(4)451,
5(4)557,
6(1)49,
7(2)159,
9(1)129,
11(1)44,
20(2)375,
25(2)221,
27(1)75,
34(2)222,
36(1)89,
37(2)283,
39(2)162,
40(2)135,
42(2)304,
47(1)60,
48(2)294,
58(2)118,
58(6)27,
63(1)17
- Niedermeier, Rolf,
38(2)374,
47(2)63,
52(1)26
- Rossmanith, Peter,
47(2)63
- satisfiability,
1(1)97,
17(3)475,
24(2)395,
45(2)192,
47(2)87,
54(1)40,
63(1)3,
63(4)151
- upper,
7(2)159,
9(3)321,
24(2)395,
28(2)197,
34(1)148,
48(1)91