Index file section B for toct.bib
Last update: Thu Dec 28 02:03:41 MST 2023
Return to index directory
B
-
B, 6(1)3--3, 11(4)25--25, 12(2)11--11
-
|B|, 11(4)25--25
-
b, 6(2)9--9, 11(1)5--5, 11(2)8--8, 11(3)13--13
-
b-fold, 11(3)13--13
-
Bach, Eric, 10(1)1--1, 11(3)16--16
-
Bach, Eric, see Aydinlioglu, Baris
-
backtracking, 6(3)14--14
-
Baker, 6(2)9--9
-
balanced, 3(2)4--4, 6(3)14--14, 8(4)16--16
-
balancing, 11(1)1--1
-
ball, 11(4)25--25
-
Banach, 11(2)6--6
-
Bandwidth, 5(4)16--16
-
Bandyapadhyay, Sayan, 15(3)7--7
-
Bandyapadhyay:2023:PCF, 15(3)7--7
-
Barber, David, 4(4)12--12
-
Barber, David, see Vlassis, Nikos
-
barrier, 1(1)2--2, 10(1)1--1, 10(1)2--2, 10(2)8--8, 11(3)16--16,
11(3)17--17
-
Bartholdi, Laurent, 14(3)11--11
-
Bartholdi:2022:GAH, 14(3)11--11
-
base, 6(3)13--13, 12(4)28--28
-
based, 1(1)2--2, 4(2)6--6, 5(2)6--6, 5(3)11--11, 5(4)17--17, 6(1)1--1,
6(3)13--13, 6(3)14--14, 7(1)3--3, 8(4)13--13, 9(1)3--3, 9(2)6--6,
9(2)9--9, 9(3)13--13, 9(3)15--15, 10(4)17--17, 11(2)10--10,
11(4)26--26, 11(4)28--28, 12(2)14--14, 12(4)22--22, 13(1)4--4,
13(4)21--21
-
based, alternation-, 9(3)15--15
-
based, CDCL-, 11(4)26--26
-
based, dynamic-programming-, 11(3)12--12
-
based, expansion-, 11(4)26--26
-
based, lattice-, 6(3)13--13
-
based, query-, 8(2)7--7
-
Based, Resolution-, 11(4)26--26
-
based, resolution-, 11(4)26--26
-
Based, Sample-, 8(2)7--7, 14(1)4--4
-
based, sample-, 8(2)7--7
-
basic, 1(1)2--2, 8(4)15--15, 10(1)1--1, 10(4)16--16, 11(3)14--14
-
basis, 10(3)11--11
-
batching, 6(3)13--13
-
battery, 5(2)4--4
-
Bazzi, 1(1)3--3
-
Beame, Paul, 1(3)9--9, 3(2)6--6, 9(1)5--5
-
Beame:2010:FCD, 1(3)9--9
-
Beame:2012:VMR, 3(2)6--6
-
Beame:2016:NAF, 9(1)5--5
-
Beating, 12(2)12--12
-
beats, 5(1)1--1
-
because, 4(2)5--5, 5(4)16--16, 5(4)18--18, 6(4)15--15, 7(2)5--5
-
Becker, Florent, 13(1)4--4
-
Becker:2021:AGC, 13(1)4--4
-
becomes, 10(4)18--18
-
been, 3(2)5--5, 5(3)11--11, 6(1)1--1, 6(4)17--17, 7(1)3--3, 7(4)17--17,
8(1)4--4, 8(4)16--16, 9(3)11--11, 9(3)12--12, 9(3)14--14, 10(2)9--9,
10(3)12--12, 11(1)3--3, 11(3)13--13, 12(3)16--16, 13(2)11--11
-
begin, 7(4)16--16
-
behavior, 5(3)12--12, 7(4)15--15, 12(1)1--1
-
behaviour, 6(2)8--8
-
being, 5(1)1--1, 6(1)1--1, 7(1)3--3, 7(4)16--16, 8(1)2--2, 8(2)5--5,
9(3)12--12, 9(4)17--17, 10(2)9--9, 10(4)18--18, 11(3)17--17,
11(4)24--24
-
believe, 6(1)5--5, 7(1)4--4, 11(3)15--15
-
believed, 5(4)18--18, 9(2)6--6, 9(2)9--9
-
Bellare, 4(4)10--10
-
belong, 4(4)9--9, 5(2)7--7, 6(4)17--17, 7(1)3--3, 7(3)13--13
-
below, 3(2)5--5, 5(2)4--4
-
Ben-Aroya, 11(3)15--15
-
Ben-Sasson, 9(2)7--7, 11(3)17--17
-
Ben-Sasson, Eli, 1(2)7--7
-
Ben-Sasson:2009:SQP, 1(2)7--7
-
Bennett, 13(1)1--1
-
Bernoulli, 10(3)11--11
-
Besson, Tom, 13(1)4--4
-
Besson, Tom, see Becker, Florent
-
best, 5(4)16--16, 6(2)9--9, 6(3)11--11, 7(1)1--1, 7(2)8--8, 7(4)15--15,
8(1)2--2, 9(1)3--3, 9(4)17--17, 9(4)20--20, 11(3)13--13, 11(3)17--17,
11(3)18--18, 11(4)27--27, 12(2)8--8, 12(2)12--12
-
best-known, 9(4)19--19, 11(2)8--8, 14(2)8--8
-
better, 5(2)4--4, 5(2)5--5, 5(2)6--6, 5(3)10--10, 9(3)14--14, 11(4)25--25
-
betting, 5(4)18--18
-
Beyersdorff, 9(1)2--2
-
Beyersdorff, Olaf, 4(3)7--7, 5(1)2--2, 11(4)26--26, 12(2)10--10
-
Beyersdorff:2012:PBD, 4(3)7--7
-
Beyersdorff:2013:VPC, 5(1)2--2
-
Beyersdorff:2019:NRB, 11(4)26--26
-
Beyersdorff:2020:RHQ, 12(2)10--10
-
beyond, 4(3)8--8, 8(1)3--3, 10(1)1--1, 10(2)9--9, 11(3)12--12,
12(4)26--26
-
Bezáková, Ivona, 13(2)13--13
-
Bezakova:2021:CAM, 13(2)13--13
-
Bhattacharyya, 7(1)2--2
-
Bhattacharyya, Arnab, 9(2)7--7
-
Bhattacharyya, Rishiraj, 10(4)16--16
-
Bhattacharyya:2017:LBC, 9(2)7--7
-
Bhattacharyya:2018:PTJ, 10(4)16--16
-
bichromatic, 6(1)2--2
-
bicriteria, 7(2)9--9
-
bidders, 8(4)13--13
-
bidirectionality, 11(3)12--12
-
big, 6(4)17--17
-
bijective, 12(1)1--1
-
bijectively, 12(1)1--1
-
binary, 3(2)4--4, 3(2)5--5, 5(2)5--5, 5(3)12--12, 6(2)9--9, 6(3)14--14,
7(2)6--6, 11(1)5--5, 11(2)7--7, 11(3)17--17, 11(4)28--28,
13(2)11--11
-
biological, 6(3)12--12
-
bipartite, 6(2)8--8, 6(3)14--14, 6(4)15--15, 9(2)8--8, 9(2)9--9,
11(2)8--8, 13(2)9--9, 13(4)25--25
-
bipartite, non-, 11(4)20--20
-
bipartite, parameters-, 11(2)8--8
-
bipartition, 11(2)11--11
-
bit, 4(1)3--3, 5(1)1--1, 5(3)12--12, 5(4)13--13, 6(3)14--14, 7(1)1--1,
7(3)10--10, 9(1)2--2, 9(1)5--5, 10(1)2--2, 10(2)5--5, 10(3)14--14,
10(4)19--19, 11(1)2--2, 11(2)8--8, 11(2)9--9, 11(3)15--15,
11(3)17--17, 11(4)28--28, 12(2)8--8, 13(1)5--5, 15(3)5--5
-
bitpdim, 11(2)8--8
-
bits, information-, 11(3)17--17
-
bitwise, 7(2)8--8, 11(2)8--8, 11(2)9--9
-
black, 3(2)4--4, 5(3)11--11
-
Black, Timothy, 11(3)14--14
-
black-box, 7(1)1--1, 7(1)2--2, 10(3)10--10, 12(2)14--14
-
black-white, 7(2)8--8
-
Black:2019:MPU, 11(3)14--14
-
blackbox, 11(1)2--2
-
Blais, 11(2)6--6
-
Blais, Eric, 11(2)6--6, 11(4)24--24
-
Blais:2019:DTL, 11(2)6--6
-
Blais:2019:TJT, 11(4)24--24
-
Bläser, Markus, 7(2)6--6
-
Blaser:2015:SCT, 7(2)6--6
-
blind, 4(4)12--12
-
Bliznets, Ivan, 10(2)9--9
-
Bliznets:2018:HAF, 10(2)9--9
-
block, 11(3)12--12, 13(1)7--7
-
blockmodel, 11(3)12--12
-
blocks, agent-, 11(3)12--12
-
blowup, 4(2)4--4, 12(3)17--17
-
blue, 9(2)8--8
-
blue, red-, 9(2)8--8
-
bn, 6(2)9--9
-
Bob, 7(3)10--10, 10(1)2--2, 12(3)20--20
-
Boczkowski, Lucas, 10(4)19--19
-
Boczkowski:2018:SCP, 10(4)19--19
-
Bogdanov, Andrej, 5(2)5--5
-
Bogdanov:2013:HFL, 5(2)5--5
-
Bonamy, Marthe, 11(3)13--13
-
Bonamy:2019:TLB, 11(3)13--13
-
Bonet, 7(2)5--5
-
boolean, 3(2)4--4, 4(1)3--3, 4(2)4--4, 4(4)11--11, 5(3)11--11, 5(4)15--15,
5(4)17--17, 5(4)18--18, 6(1)5--5, 6(2)8--8, 7(2)7--7, 8(1)1--1,
8(2)5--5, 8(3)10--10, 8(4)16--16, 9(1)1--1, 9(1)5--5, 9(3)15--15,
11(1)4--4, 11(2)8--8, 11(3)14--14, 11(4)22--22, 11(4)24--24,
11(4)26--26, 12(1)7--7, 12(3)21--21, 15(3)5--5
-
boolean, non-, 5(4)17--17, 8(2)5--5
-
Boolean, Non-, 9(2)6--6, 13(4)26--26
-
Booleanity, 8(3)10--10
-
bootstrapped, 6(3)13--13
-
bootstrapping, 6(3)13--13
-
Boppana, Ravi, 11(4)21--21
-
Boppana:2019:BIV, 11(4)21--21
-
border, 12(1)5--5
-
borderline, 11(1)4--4
-
Borell, 5(4)14--14
-
borrows, 11(3)18--18
-
both, 1(1)2--2, 5(2)6--6, 5(2)7--7, 6(1)1--1, 6(3)11--11, 7(3)13--13,
7(4)15--15, 7(4)17--17, 8(4)13--13, 8(4)15--15, 9(1)1--1, 9(1)2--2,
9(3)13--13, 10(1)1--1, 10(2)9--9, 10(4)19--19, 11(1)4--4,
11(3)17--17, 12(3)19--19
-
bottom-up, 11(1)5--5
-
bound, branch-and-, 9(4)16--16
-
bound, lower-, 7(1)4--4
-
Boundary, 12(1)4--4
-
bounded, 1(3)8--8, 4(1)1--1, 4(2)5--5, 4(2)6--6, 4(4)9--9, 5(4)13--13,
6(1)5--5, 6(3)11--11, 6(3)13--13, 7(2)6--6, 7(2)7--7, 7(4)17--17,
8(1)4--4, 8(2)5--5, 9(1)2--2, 9(2)7--7, 9(2)10--10, 9(3)11--11,
9(3)12--12, 9(3)13--13, 9(3)14--14, 10(3)12--12, 10(4)19--19,
11(2)10--10, 11(4)21--21, 12(1)1--1, 12(3)17--17, 12(4)25--25
-
bounded, time-, 11(4)27--27
-
bounded-degree, 9(2)9--9
-
Bounded-Depth, 4(3)7--7
-
bounded-depth, 4(3)7--7, 7(2)5--5
-
bounded-width, 4(3)7--7
-
Bounding, 13(1)3--3
-
bounding, lower-, 7(3)10--10
-
Bourgain, 10(3)11--11
-
Bourke, Chris, 1(1)4--4
-
Bourke:2009:DPR, 1(1)4--4
-
box, 5(3)11--11, 10(1)3--3
-
box, black-, 7(1)1--1, 7(1)2--2, 10(3)10--10, 12(2)14--14
-
box, white-, 10(1)3--3
-
BP, 11(1)5--5
-
BPP, 4(3)8--8, 10(2)5--5
-
BPs, 7(2)8--8
-
bps, 15(3)5--5
-
bpsize, 11(2)8--8
-
Brakerski, 6(3)13--13
-
Brakerski, Zvika, 6(3)13--13
-
Brakerski:2014:LFH, 6(3)13--13
-
branch-and-bound, 9(4)16--16
-
branching, 3(2)4--4, 7(2)8--8, 8(3)8--8, 9(1)5--5, 10(1)3--3, 11(1)2--2,
11(1)5--5, 11(2)8--8, 12(1)2--2, 12(2)8--8, 12(3)17--17, 15(3)5--5
-
Brandt, 6(1)1--1
-
Brandts, Alex, 13(4)26--26
-
Brandts:2021:CPS, 13(4)26--26
-
Braverman, 11(1)5--5
-
Braverman, Mark, 3(2)4--4
-
Braverman, Mark, see Cook, Stephen
-
breakthrough, 3(2)5--5, 4(4)12--12, 10(3)12--12
-
broad, 5(3)12--12
-
Brody, 11(2)6--6
-
buffers, 5(2)4--4
-
Buhrman, 5(4)18--18
-
builds, 6(4)17--17, 12(4)23--23
-
built, 11(2)10--10
-
Bulatov, Andrei A., 12(2)11--11
-
Bulatov:2020:ACC, 12(2)11--11
-
Bun, Mark, 13(4)24--24
-
Bun:2021:SRC, 13(4)24--24
-
Büning, 11(4)26--26
-
buying, 5(2)4--4
-
by-2, 2-, 8(1)4--4
-
by-contradiction, proof-, 5(2)6--6
-
by-product, 9(3)13--13, 11(4)20--20
-
bypass, 11(3)17--17
-
byproduct, 7(4)15--15