Index file section B for jautomreason.bib

Last update: Thu Mar 27 02:01:28 MDT 2025

Return to index directory

B

Baader, Franz, 2(3)283--286, 14(1)149--180, 15(1)41--68, 39(3)245--247, 45(2)91--129, 66(3)301--329, 66(3)357--407
Baader:1986:TIS, 2(3)283--286
Baader:1995:EDT, 14(1)149--180
Baader:1995:PDP, 15(1)41--68
Baader:2007:PSI, 39(3)245--247
Baader:2010:ABA, 45(2)91--129
Baader:2022:DWP, 66(3)301--329
Baader:2022:UMT, 66(3)357--407
Baanen, Anne, 66(4)611--637, 69(1)z--z
Baanen:2022:FDD, 66(4)611--637
Baanen:2025:UAI, 69(1)z--z
Baaz, Matthias, 51(4)401--430
Baaz:2013:FVS, 51(4)401--430
Bachmair, 64(7)1169--1195
Bachmair, Leo, 31(2)129--168
Bachmair:2003:ACC, 31(2)129--168
Back, 21(2)205--231, 30(2)121--151, 64(7)1221--1245
Back-end, 43(4)z--z
Backchain, 11(1)1--22
Backdoor, 35(1)73--88, 42(1)77--97
Backend, Prover-, 44(1)z--z
Backes, Julian, 47(4)451--479
Backes:2011:ATH, 47(4)451--479
Background, 30(1)1--31
backtracking, 2(1)43--62, 5(1)37--47, 35(1)3--24
Backward, 40(2)133--177
Bahrami, Diane, 38(4)303--351
Bahrami, Diane, see Aiguier, Marc
Bailey, 61(1)33--71
Bailin, Sidney C., 4(3)269--286, 11(3)391--428
Bailin:1988:UTS, 4(3)269--286
Bailin:1993:MIR, 11(3)391--428
Bailleux, Olivier, 37(4)231--260
Bailleux:2006:SCA, 37(4)231--260
Baillot, Patrick, 63(4)813--855
Baillot:2019:ICC, 63(4)813--855
Baker, James D., 8(2)275--295
Baker:1992:ITP, 8(2)275--295
Balanced, 35(1)181--200
Balancing, 42(2)389--454
Ballarin, Clemens, 40(4)271--292, 52(2)123--153, 64(6)1093--1121
Ballarin, Clemens, see Aransay, Jesús
Ballarin:2014:LMS, 52(2)123--153
Ballarin:2020:ESA, 64(6)1093--1121
Balsiger, Peter, 24(3)297--317
Balsiger:2000:BMP, 24(3)297--317
Bancerek, Grzegorz, 29(3)189--224, 61(1)9--32
Bancerek:2002:CCL, 29(3)189--224
Bancerek:2018:RMM, 61(1)9--32
Banerjee, Anindya, 52(3)275--329
Banerjee, Anindya, see Malkis, Alexander
Bansal, Kshitij, 64(7)1333--1359
Bansal:2020:SPU, 64(7)1333--1359
Baral, Chitta R., 8(3)345--366, 10(3)399--420
Baral:1992:SEC, 8(3)345--366
Baral:1993:DBA, 10(3)399--420
Barback, Monica D., 10(3)345--370
Barback, Monica D., see Lu, James J.
Barbosa, Haniel, 64(3)485--510, 67(2)z--99999999
Barbosa, Haniel, see Abate, Alessandro
Barbosa:2020:SFG, 64(3)485--510
Barbuti, R., 2(2)155--170
Barbuti, R., see Aquilano, C.
Barcelona, 18(2)171--176
Barendregt, Henk, 28(3)321--336
Barendregt:2002:ACF, 28(3)321--336
Barendsen, Erik, 28(3)321--336
Barendsen, Erik, see Barendregt, Henk
Barker-Plummer, Dave, 8(3)311--344, 11(3)391--428
Barker-Plummer, Dave, see Bailin, Sidney C.
Barker-Plummer:1992:GAP, 8(3)311--344
Barnes, Janet, 36(4)379--410
Barnes, Janet, see Ireland, Andrew
Barrett, Clark, 35(4)373--390, 50(3)243--277, 51(4)453--456, 63(4)1003--1004, 66(3)331--355, 67(2)z--99999999, 67(3)z--99999999, 67(4)z--99999999
Barrett, Clark, see Abate, Alessandro, see Sheng, Ying
Barrett:2005:DRF, 35(4)373--390
Barrett:2013:BRD, 51(4)453--456
Barrett:2013:YSC, 50(3)243--277
Barrett:2019:SEP, 63(4)1003--1004
Barriers, 52(3)275--329
Barthe, Gilles, 35(4)295--354, 63(1)1--51, 63(4)813--855, 64(8)1685--1729
Barthe, Gilles, see Baillot, Patrick
Barthe:2005:TAS, 35(4)295--354
Barthe:2019:SLN, 63(1)1--51
Barthe:2020:SLN, 64(8)1685--1729
base, 6(3)233--250, 11(2)269--288, 22(3)263--309
based, 6(3)287--297, 7(4)511--536, 8(1)77--90, 9(1)43--76, 10(2)283--284, 10(3)345--370, 14(1)3--42, 28(3)235--256, 31(1)11--21, 34(1)73--101, 36(4)z--z, 37(1)93--116, 46(3)325--352, 49(3)327--362, 51(2)197--239, 52(1)99--122, 52(4)451--480, 54(4)285--326, 55(3)295--306, 63(2)323--345, 64(3)611--640, 65(1)1--29, 65(6)711--726, 67(4)z--99999999, 68(2)z--99999999
Based, Automata-, 45(2)91--129
Based, CDCL-, 68(3)z--99999999
Based, CEGAR-, 64(6)1051--1091
based, Connection-, 51(1)3--26
Based, Formula-, 30(1)33--58
based, Graph-, 38(1)201--225
Based, Heuristic-, 35(1)3--24
Based, Hyper-Linking-, 26(1)67--106
based, hyperlinking-, 12(3)359--388
Based, ICE-, 64(7)1393--1418
Based, Instantiation-, 57(1)37--65
based, knowledge-, 1(1)49--74
Based, Learning-, 57(3)219--244, 64(7)1523--1552
Based, Matroid-, 68(1)z--99999999
based, Model-, 20(1)81--105
based, model-, 12(2)157--208
based, Object-, 39(1)1--47
Based, Preference-, 29(2)125--169
Based, Renaming-, 67(3)z--99999999
Based, Resolution-, 40(2)89--116, 40(4)357--357, 64(3)461--484
Based, SAT-, 28(2)143--171
based, SAT-, 35(1)237--263
Based, SAT-, 68(3)z--z, 69(1)z--99999999
Based, Saturation-, 64(2)253--294, 67(4)z--99999999
Based, SMT-, 65(3)461--461
Based, SMT-, 60(3)299--335
based, Superposition-, 38(1)127--153
Based, Tableau-, 34(1)49--72, 52(3)331--360
based, Tableau-, 13(2)223--242, 13(3)409--421
based, tableau-, 4(1)69--100, 15(3)339--358
Based, Type-, 59(1)87--120
Basic, 2(3)219--220, 2(3)221--252, 2(4)iii--iii, 13(2)243--281, 40(4)271--292, 44(4)371--399
Basin, 35(4)429--431
Basin, David, 16(1)113--145, 27(1)1--2, 36(1)1--3, 64(7)1445--1481
Basin, David, see Armando, Alessandro, see Costa, Gabriele, \see{Kraan, Ina
Basin, David A., 16(1)147--180, 30(3)399--444
Basin:1996:CTR, 16(1)147--180
Basin:2001:CTL, 27(1)1--2
Basin:2003:BVM, 30(3)399--444
basis, 5(1)25--35, 31(1)1--9, 59(3)331--344, 64(5)827--856
Bates, J. L., 1(3)285--326
Bates, J. L., see Constable, R. L.
Bauer, Andrej, 21(3)295--325, 67(4)z--99999999
Bauer, Andrej, see Haselwarter, Philipp G.
Bauer, Lujo, 46(3)223--224
Bauer:1998:AEC, 21(3)295--325
Bauer:2011:PSI, 46(3)223--224
Bauereiß, Thomas, 61(1)113--139
Bauereiss:2018:CCV, 61(1)113--139
Baumgartner, Alexander, 58(2)293--310
Baumgartner, P., 32(3)259--286
Baumgartner, Peter, 13(3)339--359, 16(3)241--319, 19(2)205--262, 45(2)89--89, 47(2)191--227, 56(2)95--98, 64(2)197--251
Baumgartner, Peter, see Armando, Alessandro
Baumgartner:1994:MEC, 13(3)339--359
Baumgartner:1996:LUR, 16(3)241--319
Baumgartner:1997:DPR, 19(2)205--262
Baumgartner:2004:LBD, 32(3)259--286
Baumgartner:2011:CSM, 47(2)191--227
Baumgartner:2016:MMS, 56(2)95--98
Baumgartner:2017:HOP, 58(2)293--310
Baumgartner:2020:BOE, 64(2)197--251
Bayerl, S., 8(2)183--212
Bayerl, S., see Letz, R.
Bayesian, 45(1)21--37, 46(2)103--160, 58(1)67--95
BBP, 61(1)33--71
Becker, George, 18(3)337--356
Becker, George, see Ramesh, Anavai
Beckert, Bernhard, 15(3)339--358, 18(1)47--83, 38(1)1--2, 45(4)327--329
Beckert, Bernhard, see Ramesh, Anavai
Beckert:1995:LTL, 15(3)339--358
Beckert:2007:P, 38(1)1--2
Beckert:2010:TP, 45(4)327--329
Beeson, Michael, 36(4)311--344, 58(1)181--207, 66(4)439--461
Beeson:2006:MIO, 36(4)311--344
Beeson:2017:FPT, 58(1)181--207
Beeson:2022:LWV, 66(4)439--461
Behaved, Well-, 21(3)381--400
behavior, 8(3)395--419
belief, 12(2)157--208
Belinfante, Johan G. F., 22(3)311--339, 22(3)341--378, 50(2)135--146
Belinfante:1999:CAP, 22(3)341--378
Belinfante:1999:CPG, 22(3)311--339
Belinfante:2013:GP, 50(2)135--146
Bell--LaPadula, 65(4)463--478
Bella, Giampaolo, 36(1)5--37, 46(3)353--388
Bella, Giampaolo, see Arsac, Wihem
Bella:2006:VSP, 36(1)5--37
Benanav, Dan, 9(1)43--76
Benanav:1992:RUC, 9(1)43--76
benchmark, 3(4)437--451, 24(3)297--317, 49(3)453--491
Bendix, Knuth-, 30(1)99--120
Bendix-Huet, Knuth-, 45(3)301--325
Benferhat, Salem, 45(1)39--59
Benferhat:2010:NDT, 45(1)39--59
Bengtson, Jesper, 56(1)1--47
Bengtson:2016:PCI, 56(1)1--47
Benhamou, Belaid, 12(1)89--102
Benhamou, Belaïd, 36(3)177--212, 48(3)391--417, see Audemard, Gilles
Benhamou:1994:TTS, 12(1)89--102
Benhamou:2012:DSA, 48(3)391--417
Bennett, James S., 1(1)49--74
Bennett:1985:RKB, 1(1)49--74
Bensaid, Hicham, 53(4)317--350
Bensaid:2014:CSC, 53(4)317--350
Bentkamp, Alexander, 63(2)347--368, 65(7)893--940, 66(4)541--564, 67(1)z--99999999
Bentkamp, Alexander, see Vukmirovi{\'c}, Petar
Bentkamp:2019:FPE, 63(2)347--368
Bentkamp:2021:SL, 65(7)893--940
Bentkamp:2023:SHO, 67(1)z--99999999
Benton, Nick, 49(2)141--159
Benton:2012:STT, 49(2)141--159
Benzmüller, Christoph, 55(4)389--404, 64(1)53--72, 65(6)775--807, see Steen, Alexander
Benzmuller:2015:HOP, 55(4)389--404
Benzmuller:2020:AFL, 64(1)53--72
Berger, Ulrich, 26(2)205--221
Berger:2001:WAD, 26(2)205--221
Berghofer, Stefan, 49(3)303--326
Berghofer:2012:SPC, 49(3)303--326
Beringer, Lennart, 61(1)367--422
Beringer, Lennart, see Cao, Qinxiang
Berlekamp--Zassenhaus, 64(4)699--735
Bernays-Gödel, Neumann-, 8(1)91--147
Bernreiter, Michael, 68(2)z--99999999
Bernreiter:2024:SCC, 68(2)z--99999999
Bernstein, 51(2)151--196
Bertot, Yves, 29(3)225--252, 61(1)33--71
Bertot:2002:PGS, 29(3)225--252
Bertot:2018:DDP, 61(1)33--71
Besnard, Ph, 20(1)191--213
Besnard:1998:SSP, 20(1)191--213
Besson, Frédéric, 62(4)433--480, 63(2)369--392
Besson:2019:CMA, 63(2)369--392
Besson:2019:VCF, 62(4)433--480
Best, 66(4)639--666, 66(4)1099--1099
Betarte, Gustavo, 63(1)1--51, 64(8)1685--1729
Betarte, Gustavo, see Barthe, Gilles
Beth, 66(3)409--435
Bevier, William R., 5(4)411--428, 5(4)519--530
Bevier:1989:ASV, 5(4)411--428
Bevier:1989:KSS, 5(4)519--530
Beyer, Dirk, 60(3)299--335, 64(7)1331--1332, 65(3)461--461, 69(1)z--99999999
Beyer:2018:UVS, 60(3)299--335, 65(3)461--461
Beyer:2020:SEP, 64(7)1331--1332
Beyer:2021:CUV, 60(3)299--335, 65(3)461--461
Beyer:2025:ISB, 69(1)z--99999999
Beyersdorff, Olaf, 63(3)597--623, 65(1)125--154, 66(1)1--41, 67(4)z--99999999, 68(1)z--99999999
Beyersdorff, Olaf, see Böhm, Benjamin, see Sigley, Sarah
Beyersdorff:2019:RDS, 63(3)597--623
Beyersdorff:2021:BSQ, 65(1)125--154
beyond, 7(1)1--26, 45(1)3--19
Bezem, Marc, 29(3)253--275, 40(1)61--85, 63(2)159--171
Bezem:2002:APC, 29(3)253--275
Bezem:2008:MPH, 40(1)61--85
Bezem:2019:UAC, 63(2)159--171
Bhalla, Ateet, 35(1)3--24
Bhalla:2005:HBB, 35(1)3--24
Bi-Directional, 66(2)215--238
Bi-intuitionistic, 51(1)3--26
Bibel, W., 6(3)287--297, 8(2)183--212
Bibel, W., see Letz, R.
Bibel, Wolfgang, 56(2)95--98, 68(4)z--99999999
Bibel, Wolfgang, see Baumgartner, Peter, see Wernhard, Christoph
Bibel:1990:SPP, 6(3)287--297
Bidirectional, 60(3)257--277
Biere, Armin, 49(4)583--619, 58(1)97--125, 64(3)361--362, 64(3)533--554, 64(7)1247--1267
Biere, Armin, see Heule, Marijn J. H., see Järvisalo, Matti, see Kiesl, Benjamin
Biere:2020:PSI, 64(3)361--362
Big, 38(4)353--373
Biglari, Shahriar, Zand-, 8(2)275--295
Billingsley, William, 39(2)181--218
Billingsley:2007:SPE, 39(2)181--218
binary, 4(1)101--107, 24(3)365--370, 64(2)295--330, 64(5)879--910, 64(7)1361--1391, 67(1)z--99999999, 67(3)z--99999999
Binders, 51(2)197--239, 53(3)305--315, 55(2)185--185, 64(1)135--165
Binding, 49(2)185--207, 64(4)641--675, 67(3)z--99999999
Birkedal, Lars, 63(2)211--253
Birkedal:2019:GCT, 63(2)211--253
Bisequent, 67(4)z--99999999
Bishop, Matthew, 16(3)321--353, 32(1)75--92
Bishop, Matthew, see Andrews, Peter B.
Bisimulation, 31(1)73--103
Bit-Level, 37(1)93--116
Bit-Vector, 63(3)723--762
Bit-Vectors, 65(7)1071--1096
Bit-vectors, 65(7)1001--1025
Bittencourt, Guilherme, 27(4)353--389
Bittencourt:2001:ADT, 27(4)353--389
Bizjak, Ale{\v{s}}, 63(2)211--253, see Birkedal, Lars
Björk, Magnus, 42(1)99--122
Bjork:2009:FOS, 42(1)99--122
Bj{\o}rner, Nikolaj, 44(4)401--424, 51(1)1--2, see Piskac, Ruzica
Bjorner:2013:PSI, 51(1)1--2
Black, Red-, 64(4)767--791
Blanchette, Jasmin, 64(7)1169--1195, 65(2)155--155, 65(7)893--940, 66(4)499--539, 66(4)541--564, 67(1)z--99999999, 67(2)z--99999999
Blanchette, Jasmin, see Bentkamp, Alexander, see Ebner, Gabriel, see Schlichtkrull, Anders, see Vukmirovi{\'c}, Petar, see Waldmann, Uwe
Blanchette, Jasmin Christian, 43(1)1--18, 47(4)369--398, 51(1)109--128, 56(2)155--200, 57(3)219--244, 58(1)149--179, 58(3)341--362, 61(1)1--8, 61(1)333--365, 62(2)169--170, 63(2)347--368, 64(3)485--510
Blanchette, Jasmin Christian, see Avigad, Jeremy, see Barbosa, Haniel, see Bentkamp, Alexander, see Reynolds, Andrew
Blanchette:2009:PPM, 43(1)1--18
Blanchette:2011:MIH, 47(4)369--398
Blanchette:2013:ESS, 51(1)109--128
Blanchette:2016:LBF, 57(3)219--244
Blanchette:2016:SII, 56(2)155--200
Blanchette:2017:SCP, 58(1)149--179
Blanchette:2018:VSS, 61(1)333--365
Blanchette:2019:SEP, 62(2)169--170
Blanchette:2021:MNE, 65(2)155--155
Blazy, Sandrine, 41(1)1--31, 43(3)263--288, 56(3)283--308, 60(3)255--256, 62(4)433--480, 63(2)369--392
Blazy, Sandrine, see Besson, Frédéric, see Leroy, Xavier
Blazy:2009:MSC, 43(3)263--288
Blazy:2016:VAI, 56(3)283--308
Blazy:2018:SEP, 60(3)255--256
Bledsoe, 18(1)1--4, 20(3)255--282
Bledsoe, W. W., 1(1)5--48, 3(1)35--77, 6(3)341--359, 11(3)293--314
Bledsoe, W. W., see Wang, Tie-Cheng, see Wos, L.
Bledsoe:1990:CPE, 6(3)341--359
Bledsoe:1993:SV, 11(3)293--314
Blinkhorn, Joshua, 63(3)597--623, 65(1)125--154
Blinkhorn, Joshua, see Beyersdorff, Olaf
block, 3(4)343--377, 56(1)49--94, 60(1)63--84
Blocking, 64(2)197--251
Bloo, Roel, 49(2)275--300
Bloo, Roel, see Rose, Kristoffer H.
Board, 2(1)105--107, 5(1)119--121, 7(1)165--167, 20(3)215--253
Bocchetti, P., 2(2)155--170
Bocchetti, P., see Aquilano, C.
Bockmayr, Alexander, 3(4)379--381
Bockmayr:1987:NCT, 3(4)379--381
Bodei, Chiara, 64(7)1445--1481
Bodei, Chiara, see Costa, Gabriele
Boer, Frank de, 53(2)129--139
Boer, Frank de, see Gouw, Stijn de
Boer, Frank S. de, 62(1)93--126
Boer, Frank S. de, see Gouw, Stijn de
Bofill, Miquel, 30(1)99--120, 50(1)51--98
Bofill:2003:PKB, 30(1)99--120
Bofill:2013:PNM, 50(1)51--98
Bognar, Mirna, 27(1)29--59
Bognar:2001:CLC, 27(1)29--59
Böhm, Benjamin, 67(4)z--99999999, 68(1)z--99999999
Bohm:2023:LBQ, 67(4)z--99999999
Bohm:2024:SDQ, 68(1)z--99999999
Böhme, Sascha, 44(1)z--z, 51(1)109--128, 52(3)241--273, 56(2)155--200, see Alkassar, Eyad, see Blanchette, Jasmin Christian
Bohme:2010:HBI, 44(1)z--z
Boldo, Sylvie, 50(4)423--456, 54(2)135--163, 66(2)175--213
Boldo:2013:WEN, 50(4)423--456
Boldo:2015:VCF, 54(2)135--163
Boldo:2022:CFL, 66(2)175--213
Bollen, A. W., 7(4)563--585
Bollen:1991:RLP, 7(4)563--585
Bonacina, Maria Paola, 12(2)225--240, 13(1)1--33, 47(2)161--189, 54(1)69--97, 54(4)353--390, 56(2)113--141, 59(2)165--218, 64(3)579--609, 66(1)43--91, 66(4)437--438, 66(4)439--461, 66(4)463--497, 67(1)z--99999999
Bonacina, Maria Paola, see Beeson, Michael
Bonacina:1994:PDS, 13(1)1--33
Bonacina:1994:SDD, 12(2)225--240
Bonacina:2011:DST, 47(2)161--189
Bonacina:2015:IAT, 54(1)69--97
Bonacina:2015:ISG, 54(4)353--390
Bonacina:2016:SGG, 56(2)113--141
Bonacina:2017:SGG, 59(2)165--218
Bonacina:2020:CDS, 64(3)579--609
Bonacina:2022:CDS, 66(1)43--91
Bonacina:2022:SDA, 66(4)437--438
Bonacina:2022:SSD, 66(4)463--497
Bonacina:2023:SGG, 67(1)z--99999999
Bonatti, P. A., 27(4)391--421
Bonatti, Piero A., 13(1)35--67
Bonatti:1994:ALP, 13(1)35--67
Bonatti:2001:RSS, 27(4)391--421
Bonchi, Filippo, 49(2)161--183
Bonchi:2012:PEE, 49(2)161--183
Boogie, 66(4)747--803
Boogie, HOL-, 44(1)z--z
Book, 4(1)113--113, 4(2)233--234, 7(1)159--161, 9(3)409--411, 10(2)285--286, 11(3)429--431, 12(1)131--132, 32(3)259--286, 35(4)429--431, 39(2)181--218, 49(1)107--109, 51(4)453--456
boolean, 4(4)381--396, 6(4)465--489, 17(1)97--128, 27(3)251--296, 28(2)101--142, 29(1)1--16, 31(1)1--9, 36(3)213--239, 37(1)3--20, 39(1)49--75, 42(1)77--97, 46(1)81--102, 55(3)285--294, 63(3)695--722, 63(4)1055--1075, 67(3)z--99999999, 67(4)z--99999999
boolean, near-, 6(4)465--489
Boolean, Non-, 35(1)143--179
Bordg, Anthony, 65(5)691--709
Bordg:2021:CQC, 65(5)691--709
Borel, Heine-, 20(3)255--282
Borges, Ana de Almeida, 69(1)z--99999999
Borges:2025:LIT, 69(1)z--99999999
Borkar, Vivek S., 29(1)91--106
Borkar:2002:MPE, 29(1)91--106
born, 1(1)1--3, 8(1)1--2
Borralleras, Cristina, 48(1)107--131
Borralleras:2012:SML, 48(1)107--131
Borrego-Díaz, J., 52(3)331--360, see Hidalgo-Doblado, M. J.
Borwein, 61(1)33--71
Bose, Soumitra, 8(2)153--181
Bose:1992:PPT, 8(2)153--181
Botana, Francisco, 55(1)39--59
Botana:2015:ATP, 55(1)39--59
both, 5(2)207--233, 65(4)479--520
Bottesch, Ralph, 64(5)827--856
Bottesch, Ralph, see Thiemann, René
Bottom-Up, 64(2)197--251
bottom-up, 7(3)337--358
Boudet, Alexandre, 11(2)185--212
Boudet:1993:CAU, 11(2)185--212
Boufkhad, Yacine, 35(1)181--200
Boufkhad:2005:RRS, 35(1)181--200
Bouhoula, Adel, 14(2)189--235
Bouhoula:1995:IIC, 14(2)189--235
Boulier, Simon, 64(5)947--999
Boulier, Simon, see Sozeau, Matthieu
Boulmé, Sylvain, 62(4)505--530
Boulme:2019:RCA, 62(4)505--530
Boulton, Richard, 43(3)237--242
Boulton:2009:CAR, 43(3)237--242
bound, 24(4)397--420, 35(1)51--72, 46(2)161--203, 57(2)135--156, 57(3)187--217, 59(1)1--2, 59(1)3--45, 59(1)121--163, 67(4)z--99999999
Bound, Branch-and-, 46(1)81--102
bound, Upper-, 68(1)z--99999999
boundary, 8(3)395--419, 9(3)407--408
bounded, 4(2)117--172, 45(4)397--414, 52(4)379--405, 64(7)1483--1522
Bounded, Heap-, 31(3)261--302
Bounded-overhead, 11(1)83--113
Bounding, 62(2)171--192
Bounding, Upper-, 61(1)485--520
Bounds, Match-, 34(4)365--385
Bourely, Christophe, 20(1)27--45
Bourely, Christophe, see Défourneaux, Gilles
Bourke, Timothy, 56(3)309--341
Bourke:2016:MPA, 56(3)309--341
Bousquet, Lydie du, 45(4)415--435
Boutry, Pierre, 62(1)1--68, 65(1)31--73
Boutry, Pierre, see Simi{\'c}, Danijela
Boutry:2019:PPC, 62(1)1--68
Boy de la Tour, Thierry, 57(3)245--280
BoydelaTour:2016:PGL, 57(3)245--280
Boyer, Michel, 22(3)241--262
Boyer, Michel, see Pesant, Gilles
Boyer, Robert, 2(3)287--327, 5(2)125--125
Boyer, Robert S., 1(1)5--48, 4(2)117--172, 35(4)355--371
Boyer, Robert S., see Wos, L.
Boyer--Moore, 1(2)121--139, 9(3)355--372, 15(2)217--235, 16(1)181--222
Boyer:1986:STF, 2(3)287--327
Boyer:1988:ABQ, 4(2)117--172
Boyer:1989:NV, 5(2)125--125
Boyer:2005:TAD, 35(4)355--371
Bozga, Marius, 45(2)131--156
Bozga:2010:QSL, 45(2)131--156
Bozzano, Marco, 35(1)265--293
Bozzano:2005:MAS, 35(1)265--293
Bozzelli, Laura, 60(2)177--220
Bozzelli:2018:VLT, 60(2)177--220
Braibant, Thomas, 53(3)271--304
Braibant:2014:IRA, 53(3)271--304
Brakensiek, Joshua, 66(3)277--300
Brakensiek:2022:RKC, 66(3)277--300
Branch-and-Bound, 46(1)81--102
Branching, 15(3)359--383, 30(2)205--232
Brass, Stefan, 20(1)143--165
Brass:1998:CDW, 20(1)143--165
Braude, Eric, 60(4)503--526
Braude:2018:GMO, 60(4)503--526
Braun, David, 68(1)z--99999999
Braun, Gabriel, 58(2)209--230
Braun:2017:SPP, 58(2)209--230
Braun:2024:MBA, 68(1)z--99999999
Bresolin, Davide, 38(1)173--199
Bresolin:2007:ODP, 38(1)173--199
Bridge, James P., 50(1)99--117, 53(2)141--172
Bridge:2013:CSA, 50(1)99--117
Bridge:2014:MLF, 53(2)141--172
Bridging, 64(1)97--134
Bright, Curtis, 58(3)313--339
Bright, Curtis, see Zulkoski, Edward
Brillout, Angelo, 47(4)341--367
Brillout:2011:ISC, 47(4)341--367
Brinkop, Hauke, 62(3)367--391
Brinkop, Hauke, see Nipkow, Tobias
Brizuela, Carlos A., 45(1)21--37
Brizuela, Carlos A., see Palacios-Alonso, Miguel A.
Brock, Bishop, 40(4)293--306
Brock:2008:RER, 40(4)293--306
Brockschmidt, Marc, 58(1)3--31, 58(1)33--65
Brockschmidt, Marc, see Giesl, Jürgen, see Ströder, Thomas
Brodsky, Alexander, 23(1)83--104
Brodsky:1999:SPO, 23(1)83--104
Brogi, Cosimo Perini, 67(3)z--99999999
Brogi, Cosimo Perini, see Maggesi, Marco
Bronsard, François, 16(1)3--37
Bronsard:1996:IUT, 16(1)3--37
Brooks, Daniel R., 39(4)z--z
Brooks:2007:IPT, 39(4)z--z
Brotherston, James, 64(3)555--578
Brotherston, James, see Tellez, Gadi
Brown, Chad E., 32(1)75--92, 51(1)57--77, 55(3)199--210
Brown, Chad E., see Andrews, Peter B.
Brown, Chad Edward, 47(4)451--479
Brown, Chad Edward, see Backes, Julian
Brown, Donald E., 9(2)217--230
Brown:1992:UMI, 9(2)217--230
Brown:2013:RHO, 51(1)57--77
Brown:2015:RPF, 55(3)199--210
Brucker, Achim D., 41(3)219--249
Brucker:2008:EEO, 41(3)219--249
Bruijn, 29(3)183--188, 49(3)303--326, 49(3)327--362
Brunel, Julien, 66(4)861--904
Brunel, Julien, see Macedo, Nuno
Brunerie, Guillaume, 63(2)255--284
Brunerie:2019:JCP, 63(2)255--284
Brüning, Stefan, 19(2)205--262, see Baumgartner, Peter
Brunner, Julian, 60(1)3--21
Brunner:2018:FVE, 60(1)3--21
Bruttomesso, Roberto, 35(1)265--293
Bruttomesso, Roberto, see Bozzano, Marco
Bruynooghe, Maurice, 7(3)337--358
Bruynooghe, Maurice, see De Schreye, Danny
Bry, François, 25(1)35--82
Bry:2000:PUH, 25(1)35--82
Bryant, Randal E., 64(7)1361--1391, 67(3)z--99999999
Bryant, Randal E., see Reeves, Joseph E.
Bryant:2020:CRB, 64(7)1361--1391
Bubel, Richard, 62(1)93--126
Bubel, Richard, see Gouw, Stijn de
Buch, Arnim, 18(2)265--270
Buch, Arnim, see Hillenbrand, Thomas
Buchanan, Bruce G., 1(1)5--48
Buchanan, Bruce G., see Wos, L.
Buchberger, 26(2)107--137
bugs, 6(3)299--317
Building, 28(2)205--232, 33(2)133--170, 65(1)125--154
Built-in, 27(1)61--87
Bunder, Martin W., 7(4)597--630
Bunder, Martin W., see Meyer, Robert K.
Bundy, 35(4)429--431
Bundy, Alan, 1(3)263--283, 2(2)109--126, 4(1)15--27, 7(3)303--324, 16(1)79--111, 16(1)113--145, 19(3)319--346, 22(1)65--115, 28(3)257--305, 36(1)149--176, 43(1)53--80, 47(3)251--289
Bundy, Alan, see Ireland, Andrew, see Jani{\v{c}}i{\'c}, Predrag, see Johansson, Moa, \see{Kraan, Ina, see Madden, Peter, \see{Monroy, Ra{\'u}l, see Steel, Graham
Bundy:1985:ICM, 1(3)263--283
Bundy:1986:CCS, 2(2)109--126
Bundy:1988:MLI, 4(1)15--27
Bundy:1991:EPP, 7(3)303--324
Bundy:1997:APC, 19(3)319--346
Büning, Hans Kleine, 6(3)319--335, 39(1)49--75
Buning:1990:EPP, 6(3)319--335
Buning:2007:BFM, 39(1)49--75
Bürckert, Hans-Jürgen, 4(4)465--474
Burckert:1988:OAU, 4(4)465--474
Burel, Guillaume, 64(6)1001--1050
Burel:2020:FOA, 64(6)1001--1050
Burke, E. K., 12(2)209--223
Burke:1994:UPC, 12(2)209--223
Bury, Guillaume, 64(6)1001--1050
Bury, Guillaume, see Burel, Guillaume
Buscemi, Maria Grazia, 49(2)161--183
Buscemi, Maria Grazia, see Bonchi, Filippo
Butler, D., 65(4)521--567
Butler, Ralph M., 12(2)139--156
Butler:1994:FDH, 12(2)139--156
Butler:2021:FVP, 65(4)521--567
Büttner, Wolfram, 2(1)75--88
Buttner:1986:UDM, 2(1)75--88
by-Value, Call-, 63(2)393--413
Byli{\'n}ski, Czes{\l}aw, 61(1)9--32, see Bancerek, Grzegorz
Bytecode, 30(3)233--233, 30(3)235--269, 30(3)271--321, 30(3)323--361, 30(3)363--398, 30(3)399--444, 31(3)303--334