%%====================================================================== %% WARNING: Do NOT edit this file. It was produced automatically %% with the UNIX pipeline %% %% biblex xxx.bib | \ %% gawk -f keywords.awk | \ %% egrep 'entrytype$' | \ %% gawk -f fmtwords.awk >xxx.xwx %% %% by beebe@gamma.math.utah.edu on Wed Dec 27 09:59:10 MST 2023 %%====================================================================== \ifx \NAMECITE \undefined % User can override this definition \def \NAMECITE #1#2{{\bf #1} \cite{#2}} \fi \NAMECITE{$ (\cdot, H) $}{% Cai:2021:TLD% }. \NAMECITE{$0$}{% Filmus:2015:ELB% }. \NAMECITE{$1$}{% Austrin:2014:NNH,% Chang:2018:MMS% }. \NAMECITE{$2$}{% Austrin:2014:NNH,% Guo:2018:USM,% Hrubes:2016:HMV% }. \NAMECITE{$3$}{% Austrin:2014:NNH,% Zehavi:2023:FCM% }. \NAMECITE{$^0$}{% Chattopadhyay:2013:GIA% }. \NAMECITE{$ \cap $}{% Arvind:2011:SGI% }. \NAMECITE{$d$}{% Applebaum:2020:PAS% }. \NAMECITE{$H$}{% Bliznets:2018:HAF,% Cai:2021:TLD,% Chen:2023:SLB,% Galanis:2017:CTA% }. \NAMECITE{$k$}{% Anderson:2018:ITL,% Black:2019:MPU,% Li:2021:SCU,% Zehavi:2023:FCM% }. \NAMECITE{$ k \geq 5 $}{% Scheder:2019:PMB% }. \NAMECITE{$ O(n \epsilon) $}{% Chakraborty:2018:SPT% }. \NAMECITE{$ O(\sqrt n) $}{% Ron:2012:AIM% }. \NAMECITE{$ O*(8.097^k) $}{% Zehavi:2023:FCM% }. \NAMECITE{$ \Omega ((n \log n) / R) $}{% Ailon:2016:OLR% }. \NAMECITE{$q$}{% ODonnell:2014:OLB% }. \NAMECITE{$R$}{% Ailon:2016:OLR,% Chillara:2021:CMP% }. \NAMECITE{$ W[1] $}{% Pilipczuk:2018:DMW% }. \NAMECITE{-Coloring}{% Austrin:2014:NNH,% Chen:2023:SLB% }. \NAMECITE{{}-Colorings}{% Galanis:2017:CTA% }. \NAMECITE{{}-free}{% Bliznets:2018:HAF% }. \NAMECITE{{-Frege}}{% Filmus:2015:ELB% }. \NAMECITE{{}-hard}{% Pilipczuk:2018:DMW% }. \NAMECITE{-ic}{% Chillara:2021:CMP% }. \NAMECITE{-Median}{% Chang:2018:MMS% }. \NAMECITE{-packing}{% Zehavi:2023:FCM% }. \NAMECITE{{}-Reducible}{% Chattopadhyay:2013:GIA% }. \NAMECITE{-set}{% Zehavi:2023:FCM% }. \NAMECITE{-Spin}{% Guo:2018:USM% }. \NAMECITE{{}-time}{% Zehavi:2023:FCM% }. \NAMECITE{-to-}{% Austrin:2014:NNH% }. \NAMECITE{-Uniform}{% Applebaum:2020:PAS,% Black:2019:MPU,% Li:2021:SCU% }. \NAMECITE{{}-Well}{% Ailon:2016:OLR% }. \NAMECITE{{2Lin}}{% ODonnell:2015:HMM% }. \NAMECITE{3-Query}{% Ben-Sasson:2009:SQP,% Guruswami:2009:HSS% }. \NAMECITE{{3Lin}}{% ODonnell:2015:HMM% }. \NAMECITE{above}{% Cygan:2013:MCP% }. \NAMECITE{Abstract}{% Beame:2016:NAF,% Becker:2021:AGC% }. \NAMECITE{{AC}}{% Chattopadhyay:2013:GIA,% Filmus:2015:ELB% }. \NAMECITE{{AC0}}{% Viola:2021:AU% }. \NAMECITE{Advantage}{% Razborov:2013:RA% }. \NAMECITE{adversarial}{% Drucker:2013:HCP% }. \NAMECITE{Adversary}{% Ambainis:2021:ACA% }. \NAMECITE{Advice}{% Watson:2014:ALB% }. \NAMECITE{Affine}{% Aydinlioglu:2018:ARU,% Aydinlioglu:2019:CAR,% Bhattacharyya:2017:LBC% }. \NAMECITE{Affine-Invariant}{% Bhattacharyya:2017:LBC% }. \NAMECITE{against}{% Chiesa:2020:TLA% }. \NAMECITE{Algebraic}{% Anderson:2018:ITL,% Chaugule:2021:VHP,% Kayal:2019:RFR,% Kayal:2020:SBR% }. \NAMECITE{Algebrization}{% Aaronson:2009:ANB,% Aydinlioglu:2018:ARU,% Aydinlioglu:2019:CAR% }. \NAMECITE{Algorithm}{% Chakraborty:2018:SPT,% Zehavi:2023:FCM% }. \NAMECITE{Algorithmic}{% Dalmau:2013:RSC,% Fomin:2022:AMT,% Lutz:2018:AIP,% Lutz:2021:FIP% }. \NAMECITE{Algorithms}{% Chen:2014:HIA,% Fernau:2020:PMV,% Galanis:2021:FAG,% Ghosh:2020:FAE,% Harkins:2013:ELA,% Kabanets:2021:ALB,% Levi:2022:ERS,% Pilipczuk:2018:SEA,% Tani:2012:EQA,% Fellows:2014:FCU% }. \NAMECITE{Allowing}{% Fernau:2015:UPT% }. \NAMECITE{Almost}{% Arvind:2011:SGI,% Jukna:2020:CFD% }. \NAMECITE{{ALOGTIME}}{% Bartholdi:2022:GAH% }. \NAMECITE{{ALOGTIME}-hard}{% Bartholdi:2022:GAH% }. \NAMECITE{Alternation}{% Chen:2017:PCM,% Williams:2013:ATP% }. \NAMECITE{Alternation-Trading}{% Williams:2013:ATP% }. \NAMECITE{Amortization}{% Applebaum:2020:PAS% }. \NAMECITE{Analysis}{% Kawamura:2012:CTO% }. \NAMECITE{Anti}{% Cai:2019:GAG% }. \NAMECITE{Anti-Gadgets}{% Cai:2019:GAG% }. \NAMECITE{Application}{% Etessami:2014:NCC% }. \NAMECITE{Approximability}{% Gunda:2021:PAC,% Schoenebeck:2019:BWC% }. \NAMECITE{Approximate}{% Bulatov:2020:ACC,% Dell:2021:FGR,% Huang:2022:ADW,% ODonnell:2018:WCQ,% Smyth:2011:AQC,% Teutsch:2015:ADM% }. \NAMECITE{Approximately}{% Focke:2020:CAC,% Galanis:2017:CTA,% Goldberg:2014:CAC% }. \NAMECITE{Approximating}{% Beame:2012:VMR,% Bezakova:2021:CAM,% Cheraghchi:2012:ALT,% Goldberg:2019:APC,% Ron:2012:AIM,% Ron:2013:ANR% }. \NAMECITE{Approximation}{% Adamaszek:2017:HAS,% Bliznets:2018:HAF,% Chang:2018:MMS,% Guo:2018:USM,% Ron:2016:PEH% }. \NAMECITE{Approximations}{% Gal:2016:SEA% }. \NAMECITE{Arithmetic}{% Kumar:2016:ACL,% Kumar:2020:PBD,% Volkovich:2016:CAR% }. \NAMECITE{Arrangement}{% Fellows:2016:TPM% }. \NAMECITE{{Arthur}}{% Pass:2012:PRT,% Watson:2020:QSM% }. \NAMECITE{Asking}{% Chen:2017:AMC% }. \NAMECITE{Auction}{% Caragiannis:2016:LDA% }. \NAMECITE{Average}{% Hoefer:2010:TAC,% Watson:2012:RWW% }. \NAMECITE{Average-Case}{% Hoefer:2010:TAC,% Watson:2012:RWW% }. \NAMECITE{Avoidability}{% Itsykson:2021:CPC% }. \NAMECITE{Balancing}{% Ganardi:2019:UTB% }. \NAMECITE{Barrier}{% Aaronson:2009:ANB% }. \NAMECITE{Barriers}{% Aydinlioglu:2018:ARU,% Aydinlioglu:2019:CAR% }. \NAMECITE{Based}{% Beyersdorff:2019:NRB,% Goldreich:2016:SBT,% Ron:2022:ODF% }. \NAMECITE{{Bazzi}}{% Razborov:2009:SPB% }. \NAMECITE{Beating}{% Rosenbaum:2020:BGE% }. \NAMECITE{Being}{% Ada:2014:HBP% }. \NAMECITE{Better}{% Scheder:2019:PMB% }. \NAMECITE{Betting}{% Harkins:2013:ELA% }. \NAMECITE{Between}{% Kayal:2020:SBR,% David:2009:ISB,% Hermo:2020:ELB,% Schmid:2017:FCS,% Srinivasan:2020:SES% }. \NAMECITE{Beyond}{% Podolskii:2020:IPS,% Schoenebeck:2019:BWC,% Schmitz:2016:CHB% }. \NAMECITE{Bidders}{% Caragiannis:2016:LDA% }. \NAMECITE{Binary}{% Jansen:2019:OSS% }. \NAMECITE{Bipartite}{% Galanis:2021:FAG% }. \NAMECITE{Bits}{% Gurjar:2020:PBO% }. \NAMECITE{{Boolean}}{% Artemenko:2017:PGO,% Brandts:2021:CPS,% Fulla:2019:CBS,% Haviv:2016:LDS,% Oliveira:2019:RMB,% Ron:2012:AIM% }. \NAMECITE{Bootstrapping}{% Brakerski:2014:LFH% }. \NAMECITE{Border}{% Kumar:2020:PBD% }. \NAMECITE{Bound}{% Ailon:2016:OLR,% Beame:2016:NAF,% Goos:2020:LBS,% Lauria:2016:RLB,% Rosenbaum:2020:BGE,% Volk:2022:PDB% }. \NAMECITE{Boundary}{% Hermo:2020:ELB% }. \NAMECITE{Bounded}{% Beyersdorff:2012:PBD,% Boppana:2019:BIV,% Elberfeld:2017:CGB,% Kyncl:2010:LRD% }. \NAMECITE{Bounded-Depth}{% Beyersdorff:2012:PBD% }. \NAMECITE{Bounding}{% Kretschmer:2021:LBT% }. \NAMECITE{Bounds}{% Ambainis:2015:LBD,% Anderson:2018:ITL,% Arunachalam:2021:IBF,% Bhattacharyya:2017:LBC,% Blais:2019:DTL,% Bonamy:2019:TLB,% Chen:2023:SLB,% Cheraghchi:2020:CLB,% De:2012:ELB,% Dinesh:2019:CLB,% Filmus:2015:ELB,% Fomin:2021:CHN,% Harkins:2013:ELA,% Kabanets:2021:ALB,% Knop:2020:TCL,% Komarath:2015:PEB,% Komusiewicz:2018:TRT,% Kratsch:2014:KLB,% Kumar:2016:ACL,% ODonnell:2014:OLB,% Purdy:2011:LBC,% Watson:2014:ALB,% Williams:2013:ATP,% Cygan:2013:MCP,% Ramya:2019:LBS% }. \NAMECITE{Branching}{% Anderson:2018:ITL,% Cook:2012:PBP,% Cote:2023:CBP,% Dinesh:2019:CLB,% Gurjar:2020:PBO,% Iwama:2019:ROB,% Kayal:2019:RFR,% Kayal:2020:SBR,% Komarath:2015:PEB% }. \NAMECITE{Caching}{% Beame:2010:FCD,% Englert:2013:EC% }. \NAMECITE{cactus}{% Gobel:2014:CCH% }. \NAMECITE{Calculi}{% Beyersdorff:2019:NRB% }. \NAMECITE{Can}{% Bun:2021:SRC,% Monde:2021:CSL,% Zehavi:2023:FCM% }. \NAMECITE{Candidate}{% Cook:2014:OWF% }. \NAMECITE{Canonizing}{% Elberfeld:2017:CGB% }. \NAMECITE{Case}{% Hoefer:2010:TAC,% Kyncl:2010:LRD,% Watson:2012:RWW,% Schoenebeck:2019:BWC% }. \NAMECITE{Catalytic}{% Cote:2023:CBP% }. \NAMECITE{Categorical}{% Bandyapadhyay:2023:PCF% }. \NAMECITE{{CDS}}{% Applebaum:2020:PAS% }. \NAMECITE{Cell}{% Yin:2010:CPP% }. \NAMECITE{Cell-Probe}{% Yin:2010:CPP% }. \NAMECITE{Characteristic}{% Chatterjee:2023:CFH,% Hrubes:2016:HMV% }. \NAMECITE{Characterization}{% Dinesh:2019:CLB% }. \NAMECITE{characterized}{% Fellows:2014:FCU% }. \NAMECITE{Characterizing}{% Volkovich:2016:CAR% }. \NAMECITE{{Chief}}{% ODonnell:2020:ENE% }. \NAMECITE{Chordal}{% Gunda:2021:PAC% }. \NAMECITE{Circuit}{% Allender:2019:NIN,% Cheraghchi:2020:CLB,% Harkins:2013:ELA,% Kumar:2016:ACL,% Cook:2014:CCC% }. \NAMECITE{Circuits}{% Artemenko:2017:PGO,% Chillara:2021:CMP,% Ganardi:2018:CEF,% Kayal:2020:SBR,% Kumar:2020:PBD,% Volk:2022:PDB% }. \NAMECITE{Classes}{% Arvind:2016:NVC,% Chaugule:2021:VHP,% Gunda:2021:PAC,% Hitchcock:2021:PTR% }. \NAMECITE{Classical}{% Ambainis:2021:ACA% }. \NAMECITE{Classification}{% Chen:2015:FCC% }. \NAMECITE{Clique}{% Cygan:2014:CCG% }. \NAMECITE{Clones}{% Fulla:2016:GCW% }. \NAMECITE{Clustering}{% Bandyapadhyay:2023:PCF% }. \NAMECITE{{CNF}}{% Hermo:2020:ELB,% Rahman:2020:CUC% }. \NAMECITE{Co}{% Kratsch:2014:KLB% }. \NAMECITE{Co-Nondeterminism}{% Kratsch:2014:KLB% }. \NAMECITE{Coarse}{% Lagerkvist:2022:CFG% }. \NAMECITE{Codes}{% Gal:2012:TQL,% Goldreich:2019:SLT,% Srinivasan:2020:DVR,% Viderman:2013:LTD% }. \NAMECITE{Coin}{% Jukna:2020:CFD,% Lee:2018:CPP,% Purdy:2011:LBC% }. \NAMECITE{Coin-Weighing}{% Purdy:2011:LBC% }. \NAMECITE{Collision}{% Hamoudi:2023:QTS% }. \NAMECITE{Collusion}{% Penna:2012:CRM% }. \NAMECITE{Collusion-Resistant}{% Penna:2012:CRM% }. \NAMECITE{Coloring}{% Austrin:2014:NNH,% Chen:2023:SLB% }. \NAMECITE{Colorings}{% Galanis:2017:CTA% }. \NAMECITE{Colouring}{% Larose:2019:SHC% }. \NAMECITE{Colourings}{% Galanis:2022:ICH,% Nakajima:2022:LOC% }. \NAMECITE{Communication}{% Ambainis:2015:LBD,% Blais:2019:DTL,% Boczkowski:2018:SCP,% David:2009:ISB,% Fontes:2016:RDD,% Goos:2018:RCV,% Kabanets:2021:ALB,% Kolay:2019:CCG,% Watson:2018:CCS% }. \NAMECITE{Compact}{% Greco:2014:CNC% }. \NAMECITE{comparator}{% Cook:2014:CCC% }. \NAMECITE{Comparing}{% Etessami:2014:NCC% }. \NAMECITE{Complete}{% Arvind:2016:NVC,% Chaugule:2021:VHP,% Glasser:2014:UDN,% Gurjar:2017:EPM,% Minahan:2018:CDI,% Bartholdi:2022:GAH% }. \NAMECITE{Completeness}{% Hrubes:2016:HMV% }. \NAMECITE{Completion}{% Drange:2015:ESC% }. \NAMECITE{Complex}{% Bezakova:2021:CAM% }. \NAMECITE{Complexity}{% Aaronson:2009:ANB,% Ambainis:2015:LBD,% Arvind:2022:PCF,% Bandyapadhyay:2023:PCF,% Beyersdorff:2019:NRB,% Bezakova:2021:CAM,% Blais:2019:DTL,% Blaser:2015:SCT,% Bonamy:2019:TLB,% Brandts:2021:CPS,% Cai:2019:GAG,% Chang:2018:MMS,% Chaugule:2021:VHP,% Chen:2017:PCM,% Drange:2015:ESC,% Etessami:2014:NCC,% Feldmann:2023:CLF,% Fellows:2011:CDF,% Fernau:2020:PMV,% Focke:2020:CAC,% Fontes:2016:RDD,% Fulla:2019:CBS,% Galanis:2017:CTA,% Ghosh:2020:FAE,% Goldberg:2014:CAC,% Goldreich:2015:IOP,% Greco:2014:CNC,% Hitchcock:2011:KCR,% Hitchcock:2021:PTR,% Itsykson:2021:CPC,% Jonsson:2021:FGT,% Kawamura:2012:CTO,% Kerenidis:2019:MPP,% Knop:2020:TCL,% Kolay:2019:CCG,% Kratsch:2016:PCK,% Li:2021:SCU,% Magniez:2022:QDC,% Rahman:2020:CUC,% Ron:2012:AIM,% Schmitz:2016:CHB,% Schoenebeck:2012:CCN,% Smyth:2011:AQC,% Vlassis:2012:CCS,% Watson:2018:CCS,% Cook:2014:CCC,% Gobel:2014:CCH% }. \NAMECITE{Compressed}{% Bartholdi:2022:GAH,% Pagh:2013:CMM% }. \NAMECITE{Computation}{% Ailon:2016:OLR,% Becker:2021:AGC,% Fomin:2021:CHN% }. \NAMECITE{Computational}{% Itsykson:2021:CPC,% Schoenebeck:2012:CCN,% Vlassis:2012:CCS% }. \NAMECITE{Computer}{% Allender:2014:ISI,% Allender:2013:ISI% }. \NAMECITE{Computing}{% Chillara:2021:CMP% }. \NAMECITE{Concisely}{% Schoenebeck:2012:CCN% }. \NAMECITE{Condensers}{% Aviv:2019:ELG% }. \NAMECITE{Conditional}{% Bhattacharyya:2018:PTJ,% Lutz:2018:AIP,% Ron:2016:PEH% }. \NAMECITE{Conditioned}{% Ailon:2016:OLR% }. \NAMECITE{confidence}{% Drucker:2013:HCP% }. \NAMECITE{Conjecture}{% Singer:2022:PHI% }. \NAMECITE{Conjunctive}{% Chen:2015:FCC% }. \NAMECITE{Connecting}{% Fellows:2014:FCU% }. \NAMECITE{Connection}{% Blais:2019:TJT,% Fulla:2016:GCW% }. \NAMECITE{Connectivity}{% Gharibian:2018:GSC% }. \NAMECITE{{coNP}}{% Arvind:2011:SGI% }. \NAMECITE{Consensus}{% Schmid:2017:FCS% }. \NAMECITE{Constant}{% Applebaum:2020:PAS,% Bhattacharyya:2017:LBC,% Pass:2012:PRT,% Viola:2019:CEP,% Beyersdorff:2013:VPC% }. \NAMECITE{Constant-Error}{% Viola:2019:CEP% }. \NAMECITE{Constant-Round}{% Pass:2012:PRT% }. \NAMECITE{Constraint}{% Chen:2017:AMC,% Jonsson:2021:FGT% }. \NAMECITE{Constraints}{% Knop:2020:TCL% }. \NAMECITE{Constructing}{% Chatterjee:2023:CFH% }. \NAMECITE{Contraction}{% Agrawal:2019:SCU,% Fomin:2021:CHN,% Gunda:2021:PAC% }. \NAMECITE{Controller}{% Vlassis:2012:CCS% }. \NAMECITE{Convergence}{% Sun:2014:ECN% }. \NAMECITE{Cops}{% Galesi:2020:CRG% }. \NAMECITE{Correctness}{% Gal:2012:TQL% }. \NAMECITE{Correlated}{% Caragiannis:2016:LDA% }. \NAMECITE{Correlations}{% Goldberg:2019:APC% }. \NAMECITE{Corrigendum}{% Aydinlioglu:2019:CAR% }. \NAMECITE{Counting}{% Bulatov:2020:ACC,% Dell:2021:FGR,% Focke:2020:CAC,% Galanis:2017:CTA,% Galanis:2022:ICH,% Gobel:2016:CHS,% Goldberg:2014:CAC,% Jerrum:2015:SHF,% ODonnell:2018:WCQ,% Gobel:2014:CCH% }. \NAMECITE{Cover}{% Austrin:2014:NNH,% Cygan:2014:CCG% }. \NAMECITE{{CSP}}{% Bulatov:2020:ACC,% Lagerkvist:2020:SSC,% Lagerkvist:2022:CFG% }. \NAMECITE{{CSPs}}{% Dalmau:2013:RSC,% Fulla:2019:CBS,% Jansen:2019:OSS,% Thapper:2018:LSR% }. \NAMECITE{{CTC}}{% ODonnell:2018:WCQ% }. \NAMECITE{cut}{% Cygan:2013:MCP% }. \NAMECITE{Cutting}{% Lauria:2016:RLB% }. \NAMECITE{Cyclic}{% ODonnell:2015:HMM% }. \NAMECITE{Data}{% Bandyapadhyay:2023:PCF% }. \NAMECITE{Decidability}{% Teutsch:2015:ADM% }. \NAMECITE{Decision}{% Dell:2021:FGR,% Hemaspaandra:2020:SVD% }. \NAMECITE{Decodable}{% Gal:2012:TQL% }. \NAMECITE{Decoders}{% Goldreich:2019:SLT% }. \NAMECITE{Decoding}{% Haviv:2016:LDS,% Srinivasan:2020:DVR,% Viderman:2013:LTD% }. \NAMECITE{Decompositions}{% Pilipczuk:2018:SEA% }. \NAMECITE{Degree}{% Bogdanov:2013:HFL,% Huang:2022:ADW,% Jansen:2019:OSS,% Volk:2022:PDB% }. \NAMECITE{Deletion}{% Fellows:2011:CDF,% Komusiewicz:2018:TRT% }. \NAMECITE{Dense}{% Watson:2014:ALB% }. \NAMECITE{Depth}{% Beyersdorff:2012:PBD,% Chillara:2021:CMP,% Kayal:2020:SBR,% Krebs:2016:SDP,% Kumar:2020:PBD,% Beyersdorff:2013:VPC% }. \NAMECITE{Depth-3}{% Kumar:2020:PBD% }. \NAMECITE{Depth-three}{% Kayal:2020:SBR% }. \NAMECITE{Derandomization}{% Minahan:2018:CDI% }. \NAMECITE{Derivative}{% Kumar:2016:ACL% }. \NAMECITE{Design}{% Caragiannis:2016:LDA% }. \NAMECITE{Determinants}{% Datta:2010:PDP% }. \NAMECITE{Determines}{% Cai:2021:TLD% }. \NAMECITE{Deterministic}{% Ambainis:2015:LBD,% Caragiannis:2016:LDA% }. \NAMECITE{Dichotomy}{% Cai:2019:GAG,% Fellows:2011:CDF% }. \NAMECITE{Difference}{% Schmid:2017:FCS% }. \NAMECITE{Differential}{% Sun:2014:ECN% }. \NAMECITE{Digraphs}{% Larose:2019:SHC% }. \NAMECITE{Dimension}{% Case:2015:MD,% Dinesh:2019:CLB,% Lutz:2018:AIP,% Lutz:2021:FIP% }. \NAMECITE{Direct}{% Goldenberg:2020:TGD% }. \NAMECITE{Directed}{% Bourke:2009:DPR,% Chakraborty:2018:SPT,% Feldmann:2023:CLF,% Kyncl:2010:LRD,% Pilipczuk:2018:DMW% }. \NAMECITE{Discrepancy}{% Fontes:2016:RDD% }. \NAMECITE{Disjoint}{% Fellows:2011:CDF,% Glasser:2014:UDN,% Goos:2020:LBS% }. \NAMECITE{Disjointness}{% Magniez:2022:QDC,% Podolskii:2020:IPS% }. \NAMECITE{Distance}{% Ambainis:2015:LBD,% Watson:2018:CCS% }. \NAMECITE{Distortion}{% Fellows:2013:DFP% }. \NAMECITE{Distributed}{% Magniez:2022:QDC% }. \NAMECITE{Distribution}{% Blais:2019:DTL,% Ron:2022:ODF% }. \NAMECITE{Distribution-Free}{% Ron:2022:ODF% }. \NAMECITE{Distributions}{% Bhattacharyya:2018:PTJ% }. \NAMECITE{Do}{% Gurjar:2016:PGP% }. \NAMECITE{Does}{% Fontes:2016:RDD% }. \NAMECITE{Domains}{% Brandts:2021:CPS% }. \NAMECITE{{DPLL}}{% Beame:2010:FCD% }. \NAMECITE{Dynamic}{% Jukna:2020:CFD% }. \NAMECITE{Economical}{% Englert:2013:EC% }. \NAMECITE{Edge}{% Bliznets:2018:HAF% }. \NAMECITE{{Editor}}{% Fortnow:2009:EF,% ODonnell:2020:ENE% }. \NAMECITE{{Editor-in-Chief}}{% ODonnell:2020:ENE% }. \NAMECITE{Editorial}{% ODonnell:2020:ENE% }. \NAMECITE{Effective}{% Sun:2014:ECN% }. \NAMECITE{Efficiency}{% Pilipczuk:2018:SEA% }. \NAMECITE{Efficient}{% Fernau:2020:PMV,% Gal:2016:SEA% }. \NAMECITE{Election}{% Hemaspaandra:2020:SVD,% Tani:2012:EQA% }. \NAMECITE{Elementary}{% Schmitz:2016:CHB% }. \NAMECITE{Embedding}{% Ghosh:2020:FAE% }. \NAMECITE{Encryption}{% Brakerski:2014:LFH% }. \NAMECITE{Entropy}{% Arunachalam:2021:IBF,% Aviv:2019:ELG,% Komarath:2015:PEB% }. \NAMECITE{Enumeration}{% Rosenbaum:2020:BGE% }. \NAMECITE{Equations}{% Sun:2014:ECN,% Volk:2022:PDB% }. \NAMECITE{Equilibria}{% Hoefer:2010:TAC,% Schoenebeck:2012:CCN% }. \NAMECITE{Equivalent}{% Ambainis:2021:ACA% }. \NAMECITE{Erasure}{% Levi:2022:ERS% }. \NAMECITE{Erasure-Resilient}{% Levi:2022:ERS% }. \NAMECITE{Error}{% Ron:2022:ODF,% Viola:2019:CEP% }. \NAMECITE{{ETH}}{% Ganian:2020:EMR% }. \NAMECITE{Evaluation}{% Cook:2012:PBP,% Iwama:2019:ROB% }. \NAMECITE{Evasive}{% Black:2019:MPU% }. \NAMECITE{Even}{% Pilipczuk:2018:DMW% }. \NAMECITE{Evolvability}{% Valiant:2014:ERF% }. \NAMECITE{Exact}{% Gurjar:2017:EPM,% Harkins:2013:ELA,% Hermo:2020:ELB,% Kratsch:2016:PCK,% Tani:2012:EQA% }. \NAMECITE{Example}{% Ron:2016:PEH% }. \NAMECITE{Except}{% ODonnell:2014:OLB% }. \NAMECITE{Exist}{% Gurjar:2016:PGP% }. \NAMECITE{Existential}{% Ganian:2020:EMR% }. \NAMECITE{expander}{% Viderman:2013:LTD% }. \NAMECITE{Expanders}{% Galanis:2021:FAG% }. \NAMECITE{Experts}{% Kanade:2014:LHS% }. \NAMECITE{Explicit}{% De:2013:EOH% }. \NAMECITE{Exploring}{% Drange:2015:ESC% }. \NAMECITE{Exponential}{% Filmus:2015:ELB,% Gal:2012:TQL,% Srinivasan:2020:SES% }. \NAMECITE{Expressions}{% Ganardi:2018:CEF% }. \NAMECITE{Extensions}{% Lagerkvist:2020:SSC% }. \NAMECITE{Extraction}{% Hitchcock:2011:KCR% }. \NAMECITE{Extractors}{% De:2012:ELB% }. \NAMECITE{Faithful}{% Chatterjee:2023:CFH% }. \NAMECITE{Families}{% Jerrum:2015:SHF,% Kolay:2019:CCG% }. \NAMECITE{Family}{% Becker:2021:AGC% }. \NAMECITE{Fast}{% Galanis:2021:FAG% }. \NAMECITE{Faster}{% Zehavi:2023:FCM% }. \NAMECITE{Feasible}{% Folwarczny:2023:PMF% }. \NAMECITE{Feature}{% Bandyapadhyay:2023:PCF% }. \NAMECITE{Feedback}{% Agrawal:2018:SFV% }. \NAMECITE{Ferromagnetic}{% Guo:2018:USM% }. \NAMECITE{Few}{% Knop:2020:TCL% }. \NAMECITE{Fields}{% Bogdanov:2013:HFL,% Chatterjee:2023:CFH% }. \NAMECITE{Filters}{% Awasthi:2014:LLF% }. \NAMECITE{Finding}{% Fellows:2011:CDF,% Hamoudi:2023:QTS,% Kratsch:2014:KLB,% Schmid:2017:FCS% }. \NAMECITE{Fine}{% Chen:2015:FCC,% Dell:2021:FGR,% Jonsson:2021:FGT,% Lagerkvist:2022:CFG% }. \NAMECITE{Fine-Grained}{% Dell:2021:FGR,% Jonsson:2021:FGT,% Lagerkvist:2022:CFG% }. \NAMECITE{Finite}{% Chatterjee:2023:CFH,% Ganardi:2018:CEF,% Srinivasan:2020:DVR% }. \NAMECITE{Fixed}{% Feldmann:2023:CLF,% Fellows:2013:DFP% }. \NAMECITE{Fixed-Parameter}{% Feldmann:2023:CLF% }. \NAMECITE{Fixing}{% Arvind:2022:PCF% }. \NAMECITE{Flipping}{% Jukna:2020:CFD% }. \NAMECITE{{FOL}}{% Fomin:2022:AMT% }. \NAMECITE{Forbidden}{% Haviv:2019:MFS% }. \NAMECITE{Foreword}{% Fortnow:2009:EF% }. \NAMECITE{Forgetfulness}{% Zehavi:2023:FCM% }. \NAMECITE{Formula}{% Beame:2010:FCD,% Fischer:2016:TRO% }. \NAMECITE{Formulae}{% Volkovich:2016:CAR% }. \NAMECITE{Formulas}{% Galesi:2020:CRG,% Kabanets:2021:ALB,% Minahan:2018:CDI,% Ramya:2019:LBS% }. \NAMECITE{Formulation}{% Beame:2016:NAF% }. \NAMECITE{Four}{% Chillara:2021:CMP,% Pilipczuk:2018:DMW% }. \NAMECITE{{Fourier}}{% Ailon:2016:OLR,% Arunachalam:2021:IBF,% Haviv:2016:LDS% }. \NAMECITE{{Fourier}-Sparse}{% Haviv:2016:LDS% }. \NAMECITE{{FPT}}{% Fellows:2014:FCU,% Ghosh:2020:FAE% }. \NAMECITE{Fractal}{% Lutz:2021:FIP% }. \NAMECITE{Free}{% Gobel:2016:CHS,% Ron:2022:ODF,% Bliznets:2018:HAF% }. \NAMECITE{Freeness}{% Ron:2022:ODF% }. \NAMECITE{{Frege}}{% Beyersdorff:2012:PBD,% Filmus:2015:ELB% }. \NAMECITE{Frequency}{% Beame:2012:VMR% }. \NAMECITE{Full}{% Kayal:2019:RFR% }. \NAMECITE{Fully}{% Brakerski:2014:LFH% }. \NAMECITE{Function}{% Blais:2019:TJT,% Cook:2014:OWF,% Ron:2013:ANR% }. \NAMECITE{Functions}{% Ambainis:2021:ACA,% Awasthi:2014:LLF,% Bogdanov:2013:HFL,% Haviv:2016:LDS,% Oliveira:2019:RMB,% Pallavoor:2018:PPT,% Ron:2012:AIM,% Valiant:2014:ERF% }. \NAMECITE{Gadgets}{% Cai:2019:GAG,% Gurjar:2016:PGP% }. \NAMECITE{{Galois}}{% Fulla:2016:GCW% }. \NAMECITE{Games}{% Galesi:2020:CRG,% Greco:2014:CNC,% Harkins:2013:ELA,% Rahman:2020:CUC,% Regev:2015:QXG,% Schoenebeck:2012:CCN,% Watson:2020:QSM% }. \NAMECITE{Gap}{% Aviv:2019:ELG% }. \NAMECITE{Gates}{% Kabanets:2021:ALB% }. \NAMECITE{{Gaussian}}{% De:2013:EOH% }. \NAMECITE{General}{% Cote:2023:CBP,% Fulla:2019:CBS,% Galanis:2021:FAG,% Goldenberg:2020:TGD,% Thapper:2018:LSR% }. \NAMECITE{General-Valued}{% Fulla:2019:CBS,% Thapper:2018:LSR% }. \NAMECITE{Generator}{% Rosenbaum:2020:BGE% }. \NAMECITE{Generator-Enumeration}{% Rosenbaum:2020:BGE% }. \NAMECITE{Generators}{% Artemenko:2017:PGO,% Cheraghchi:2020:CLB% }. \NAMECITE{Genus}{% Kyncl:2010:LRD% }. \NAMECITE{Geometrical}{% Becker:2021:AGC% }. \NAMECITE{Geometry}{% Singer:2022:PHI% }. \NAMECITE{{Goldreich}}{% Cook:2014:OWF% }. \NAMECITE{Grained}{% Dell:2021:FGR,% Jonsson:2021:FGT,% Lagerkvist:2022:CFG% }. \NAMECITE{Graph}{% Chattopadhyay:2013:GIA,% Cygan:2014:CCG,% Datta:2022:PGI,% Fomin:2022:AMT,% Kolay:2019:CCG,% Levi:2022:ERS% }. \NAMECITE{Graphic}{% Ghosh:2020:FAE% }. \NAMECITE{Graphs}{% Arvind:2022:PCF,% Chakraborty:2018:SPT,% Elberfeld:2017:CGB,% Gobel:2016:CHS,% Gunda:2021:PAC,% Gurjar:2017:EPM,% Kulkarni:2011:PIP,% Kyncl:2010:LRD,% Pilipczuk:2018:SEA,% Gobel:2014:CCH% }. \NAMECITE{Grids}{% Srinivasan:2020:DVR% }. \NAMECITE{Ground}{% Gharibian:2018:GSC% }. \NAMECITE{Group}{% Arvind:2011:SGI,% Chattopadhyay:2013:GIA,% Ron:2016:PEH,% Rosenbaum:2020:BGE% }. \NAMECITE{Groups}{% Bartholdi:2022:GAH,% Cote:2023:CBP,% ODonnell:2015:HMM% }. \NAMECITE{H}{% Larose:2019:SHC% }. \NAMECITE{H-Colouring}{% Larose:2019:SHC% }. \NAMECITE{{Hadwiger}}{% Fomin:2021:CHN% }. \NAMECITE{{Hamiltonians}}{% Gharibian:2018:GSC% }. \NAMECITE{{Hamming}}{% Ambainis:2015:LBD% }. \NAMECITE{{Hamming}-Distance}{% Ambainis:2015:LBD% }. \NAMECITE{Hard}{% Bogdanov:2013:HFL,% Chen:2014:HIA,% Jerrum:2015:SHF,% Viola:2016:QMH,% Bartholdi:2022:GAH,% Gupta:2021:PMR,% Pilipczuk:2018:DMW,% Lagerkvist:2022:CFG% }. \NAMECITE{Hardness}{% Ada:2014:HBP,% Adamaszek:2017:HAS,% Austrin:2014:NNH,% Beyersdorff:2020:RHQ,% Bliznets:2018:HAF,% Chen:2017:PCM,% Dalmau:2013:RSC,% De:2013:EOH,% Guruswami:2009:HSS,% Hrubes:2016:HMV,% ODonnell:2015:HMM,% Viola:2019:CEP,% Allender:2019:NIN% }. \NAMECITE{Hashing}{% ODonnell:2014:OLB% }. \NAMECITE{Hereditary}{% Kratsch:2014:KLB% }. \NAMECITE{Hidden}{% Ron:2016:PEH% }. \NAMECITE{Hierarchies}{% Schmitz:2016:CHB% }. \NAMECITE{Hierarchy}{% Chen:2017:PCM% }. \NAMECITE{High}{% Drucker:2013:HCP% }. \NAMECITE{High-confidence}{% Drucker:2013:HCP% }. \NAMECITE{Higher}{% Gal:2012:TQL% }. \NAMECITE{Homomorphic}{% Brakerski:2014:LFH% }. \NAMECITE{Homomorphism}{% Chaugule:2021:VHP% }. \NAMECITE{Homomorphisms}{% Chatterjee:2023:CFH,% Gobel:2016:CHS,% Goldberg:2014:CAC,% Gobel:2014:CCH% }. \NAMECITE{{Horn}}{% Hermo:2020:ELB% }. \NAMECITE{Hurdles}{% Kanade:2014:LHS% }. \NAMECITE{Hypergraph}{% Galanis:2022:ICH,% Li:2021:SCU% }. \NAMECITE{Hypergraphs}{% Black:2019:MPU,% Nakajima:2022:LOC% }. \NAMECITE{hyperplane}{% Singer:2022:PHI% }. \NAMECITE{ic}{% Chillara:2021:CMP% }. \NAMECITE{Identity}{% Anderson:2018:ITL,% Minahan:2018:CDI% }. \NAMECITE{{II}}{% Allender:2014:ISI% }. \NAMECITE{Imply}{% Filmus:2015:ELB% }. \NAMECITE{Improved}{% Arunachalam:2021:IBF,% David:2009:ISB% }. \NAMECITE{Inapproximability}{% Galanis:2022:ICH% }. \NAMECITE{Incidence}{% Singer:2022:PHI% }. \NAMECITE{Incompressibility}{% Cygan:2014:CCG% }. \NAMECITE{Increase}{% Bun:2021:SRC% }. \NAMECITE{Independence}{% Boppana:2019:BIV% }. \NAMECITE{Indistinguishability}{% Huang:2022:ADW% }. \NAMECITE{Individualization}{% Arvind:2022:PCF% }. \NAMECITE{Induced}{% Kratsch:2014:KLB% }. \NAMECITE{Infinite}{% Fulla:2016:GCW% }. \NAMECITE{Influence}{% Ron:2012:AIM,% Schoenebeck:2019:BWC% }. \NAMECITE{Information}{% Applebaum:2020:PAS,% Fontes:2016:RDD,% Kerenidis:2019:MPP,% Lutz:2018:AIP% }. \NAMECITE{Inner}{% Podolskii:2020:IPS% }. \NAMECITE{Innovations}{% Allender:2014:ISI,% Allender:2013:ISI% }. \NAMECITE{Input}{% Goldreich:2015:IOP,% Schmid:2017:FCS% }. \NAMECITE{Input-Oblivious}{% Goldreich:2015:IOP% }. \NAMECITE{Insights}{% Allender:2019:NIN% }. \NAMECITE{Instances}{% Chen:2014:HIA% }. \NAMECITE{Integer}{% Knop:2020:TCL% }. \NAMECITE{Integers}{% Etessami:2014:NCC,% Guruswami:2009:HSS,% ODonnell:2015:HMM% }. \NAMECITE{Interpolation}{% Folwarczny:2023:PMF% }. \NAMECITE{Intersection}{% Bun:2021:SRC% }. \NAMECITE{Intersections}{% Lutz:2021:FIP% }. \NAMECITE{Intrinsically}{% Becker:2021:AGC% }. \NAMECITE{Introduction}{% Allender:2013:ISI,% Allender:2014:ISI% }. \NAMECITE{Invariance}{% Filmus:2018:IPS% }. \NAMECITE{Invariant}{% Bhattacharyya:2017:LBC% }. \NAMECITE{{Ising}}{% Goldberg:2019:APC% }. \NAMECITE{Isolation}{% Kulkarni:2011:PIP% }. \NAMECITE{Isomorphism}{% Arvind:2011:SGI,% Blais:2019:TJT,% Cai:2021:TLD,% Chattopadhyay:2013:GIA,% Datta:2022:PGI,% Rosenbaum:2020:BGE% }. \NAMECITE{Issue}{% Allender:2014:ISI,% Allender:2013:ISI% }. \NAMECITE{Joint}{% Bhattacharyya:2018:PTJ% }. \NAMECITE{Junta}{% Blais:2019:TJT% }. \NAMECITE{{Kakeya}}{% Lutz:2018:AIP% }. \NAMECITE{Kernel}{% Kratsch:2014:KLB% }. \NAMECITE{Kernelizability}{% Kratsch:2016:PCK% }. \NAMECITE{Kernels}{% Fernau:2015:UPT,% Fellows:2014:FCU% }. \NAMECITE{{Kolmogorov}}{% Hitchcock:2011:KCR% }. \NAMECITE{Label}{% Austrin:2014:NNH% }. \NAMECITE{Landscape}{% Feldmann:2023:CLF% }. \NAMECITE{Large}{% ODonnell:2015:HMM% }. \NAMECITE{Layered}{% Chakraborty:2018:SPT% }. \NAMECITE{{LCCs}}{% Bhattacharyya:2017:LBC% }. \NAMECITE{Leader}{% Tani:2012:EQA% }. \NAMECITE{Leading}{% Cai:2019:GAG% }. \NAMECITE{Leaf}{% Kabanets:2021:ALB% }. \NAMECITE{Learning}{% Harkins:2013:ELA,% Hermo:2020:ELB,% Kanade:2014:LHS% }. \NAMECITE{Length}{% Artemenko:2017:PGO,% Gal:2012:TQL,% Schmid:2017:FCS% }. \NAMECITE{Leveled}{% Brakerski:2014:LFH% }. \NAMECITE{Lifting}{% Watson:2020:ZNL% }. \NAMECITE{Limitations}{% Awasthi:2014:LLF,% Caragiannis:2016:LDA% }. \NAMECITE{Limits}{% Thapper:2018:LSR% }. \NAMECITE{Line}{% Magniez:2022:QDC% }. \NAMECITE{Linear}{% Cheraghchi:2012:ALT,% Fellows:2016:TPM,% Guruswami:2009:HSS,% Knop:2020:TCL,% Oliveira:2019:RMB,% Viderman:2013:LTD,% Volk:2022:PDB,% Williams:2013:ATP% }. \NAMECITE{Linear-time}{% Viderman:2013:LTD% }. \NAMECITE{Linearity}{% Chiesa:2020:TLA% }. \NAMECITE{Linearly}{% Nakajima:2022:LOC% }. \NAMECITE{{Lipschitz}}{% Awasthi:2014:LLF% }. \NAMECITE{List}{% Chen:2023:SLB,% Galanis:2017:CTA,% Haviv:2016:LDS% }. \NAMECITE{List-Decoding}{% Haviv:2016:LDS% }. \NAMECITE{Local}{% Awasthi:2014:LLF,% Cheraghchi:2020:CLB,% Gharibian:2018:GSC,% Goldreich:2019:SLT% }. \NAMECITE{Locality}{% ODonnell:2014:OLB% }. \NAMECITE{Locality-Sensitive}{% ODonnell:2014:OLB% }. \NAMECITE{Localize}{% Monde:2021:CSL% }. \NAMECITE{Locally}{% De:2012:ELB,% Gal:2012:TQL,% Goldreich:2019:SLT% }. \NAMECITE{Log}{% Bourke:2009:DPR,% Datta:2022:PGI,% Singer:2022:PHI% }. \NAMECITE{Log-rank}{% Singer:2022:PHI% }. \NAMECITE{Log-Space}{% Bourke:2009:DPR,% Datta:2022:PGI% }. \NAMECITE{Logarithmic}{% Chen:2015:FCC% }. \NAMECITE{Logarithmically}{% Podolskii:2020:IPS% }. \NAMECITE{Logspace}{% Elberfeld:2017:CGB,% Kyncl:2010:LRD% }. \NAMECITE{Long}{% Ben-Sasson:2009:SQP% }. \NAMECITE{Loss}{% Aviv:2019:ELG% }. \NAMECITE{{Lov{\'a}sz}}{% Cai:2021:TLD% }. \NAMECITE{Low}{% Bogdanov:2013:HFL,% Ghosh:2020:FAE,% Jansen:2019:OSS,% Kabanets:2021:ALB% }. \NAMECITE{Low-Communication}{% Kabanets:2021:ALB% }. \NAMECITE{Low-Complexity}{% Ghosh:2020:FAE% }. \NAMECITE{Low-Degree}{% Bogdanov:2013:HFL,% Jansen:2019:OSS% }. \NAMECITE{Lower}{% Ailon:2016:OLR,% Ambainis:2015:LBD,% Anderson:2018:ITL,% Beame:2016:NAF,% Bhattacharyya:2017:LBC,% Blais:2019:DTL,% Bonamy:2019:TLB,% Chen:2023:SLB,% Cheraghchi:2020:CLB,% De:2012:ELB,% Dinesh:2019:CLB,% Filmus:2015:ELB,% Fomin:2021:CHN,% Goos:2020:LBS,% Harkins:2013:ELA,% Kabanets:2021:ALB,% Knop:2020:TCL,% Komarath:2015:PEB,% Komusiewicz:2018:TRT,% Kratsch:2014:KLB,% Kretschmer:2021:LBT,% Kumar:2016:ACL,% Lauria:2016:RLB,% ODonnell:2014:OLB,% Purdy:2011:LBC,% Ramya:2019:LBS,% Watson:2014:ALB,% Williams:2013:ATP,% Cygan:2013:MCP% }. \NAMECITE{{LTCs}}{% Bhattacharyya:2017:LBC% }. \NAMECITE{Machines}{% Becker:2021:AGC% }. \NAMECITE{Majority}{% Viola:2019:CEP% }. \NAMECITE{Make}{% Zehavi:2023:FCM% }. \NAMECITE{Manipulation}{% Hemaspaandra:2020:SVD% }. \NAMECITE{Many}{% Podolskii:2020:IPS% }. \NAMECITE{Maps}{% Viola:2016:QMH% }. \NAMECITE{Matching}{% Bezakova:2021:CAM,% Fernau:2020:PMV,% Gupta:2021:PMR,% Gurjar:2016:PGP,% Gurjar:2017:EPM% }. \NAMECITE{Matchings}{% Datta:2010:PDP% }. \NAMECITE{Matrices}{% Kumar:2016:ACL,% Volk:2022:PDB% }. \NAMECITE{matrix}{% Pagh:2013:CMM% }. \NAMECITE{Max}{% Kratsch:2016:PCK,% ODonnell:2015:HMM% }. \NAMECITE{{Max-2Lin}}{% ODonnell:2015:HMM% }. \NAMECITE{{Max-3Lin}}{% ODonnell:2015:HMM% }. \NAMECITE{Max-Poly}{% Dhayal:2017:MMP% }. \NAMECITE{Maximization}{% Schoenebeck:2019:BWC% }. \NAMECITE{Maximum}{% Etessami:2014:NCC,% Kumar:2016:ACL% }. \NAMECITE{Maximum-Rank}{% Kumar:2016:ACL% }. \NAMECITE{{MCSP}}{% Cheraghchi:2020:CLB% }. \NAMECITE{Mechanisms}{% Penna:2012:CRM% }. \NAMECITE{Median}{% Chang:2018:MMS% }. \NAMECITE{{Merlin}}{% Pass:2012:PRT,% Watson:2020:QSM% }. \NAMECITE{Meta}{% Fomin:2022:AMT% }. \NAMECITE{Meta-Theorem}{% Fomin:2022:AMT% }. \NAMECITE{Metaquestions}{% Chen:2017:AMC% }. \NAMECITE{Method}{% Beame:2016:NAF% }. \NAMECITE{Methods}{% Ambainis:2021:ACA% }. \NAMECITE{Metric}{% Chang:2018:MMS% }. \NAMECITE{Metrics}{% Ghosh:2020:FAE% }. \NAMECITE{Midpoint}{% Monde:2021:CSL% }. \NAMECITE{Min}{% Arunachalam:2021:IBF,% Dhayal:2017:MMP% }. \NAMECITE{Min-entropy}{% Arunachalam:2021:IBF% }. \NAMECITE{Min/Max}{% Dhayal:2017:MMP% }. \NAMECITE{Min/Max-Poly}{% Dhayal:2017:MMP% }. \NAMECITE{Minimal}{% Teutsch:2015:ADM% }. \NAMECITE{Minimization}{% Allender:2019:NIN% }. \NAMECITE{Minimum}{% Fellows:2016:TPM% }. \NAMECITE{Minrank}{% Haviv:2019:MFS% }. \NAMECITE{Mixing}{% Guo:2018:USM% }. \NAMECITE{Model}{% Ailon:2016:OLR,% Goldberg:2019:APC,% Goldreich:2020:STM,% Watson:2014:ALB% }. \NAMECITE{Modification}{% Bliznets:2018:HAF,% Fomin:2022:AMT% }. \NAMECITE{Modulo}{% Chen:2017:PCM,% Gobel:2016:CHS,% Gobel:2014:CCH% }. \NAMECITE{Moments}{% Beame:2012:VMR% }. \NAMECITE{Monotone}{% Awasthi:2014:LLF,% Black:2019:MPU,% Folwarczny:2023:PMF,% Oliveira:2019:RMB,% Ron:2012:AIM,% Srinivasan:2020:SES% }. \NAMECITE{{Morgan}}{% Kabanets:2021:ALB% }. \NAMECITE{{MSO}}{% Ganian:2020:EMR% }. \NAMECITE{{Muller}}{% Srinivasan:2020:DVR% }. \NAMECITE{Multi}{% Chillara:2021:CMP,% Kerenidis:2019:MPP% }. \NAMECITE{Multi-}{% Chillara:2021:CMP% }. \NAMECITE{Multi-Party}{% Kerenidis:2019:MPP% }. \NAMECITE{Multicoloring}{% Bonamy:2019:TLB% }. \NAMECITE{Multicut}{% Pilipczuk:2018:DMW% }. \NAMECITE{Multilinear}{% Chillara:2021:CMP,% Kayal:2020:SBR% }. \NAMECITE{Multilinearization}{% Hrubes:2016:HMV% }. \NAMECITE{Multiparty}{% David:2009:ISB% }. \NAMECITE{Multiple}{% Beame:2012:VMR,% Hamoudi:2023:QTS% }. \NAMECITE{multiplication}{% Pagh:2013:CMM% }. \NAMECITE{multiway}{% Cygan:2013:MCP% }. \NAMECITE{Mutual}{% Case:2015:MD% }. \NAMECITE{{Nash}}{% Schoenebeck:2012:CCN% }. \NAMECITE{{Neciporuk}}{% Beame:2016:NAF% }. \NAMECITE{Network}{% Feldmann:2023:CLF% }. \NAMECITE{{NL}}{% Dhayal:2017:MMP% }. \NAMECITE{Non}{% Allender:2019:NIN,% Artemenko:2017:PGO,% Brandts:2021:CPS,% Chiesa:2020:TLA,% Volk:2022:PDB% }. \NAMECITE{Non-}{% Allender:2019:NIN% }. \NAMECITE{Non-{Boolean}}{% Artemenko:2017:PGO,% Brandts:2021:CPS% }. \NAMECITE{Non-rigid}{% Volk:2022:PDB% }. \NAMECITE{Non-signaling}{% Chiesa:2020:TLA% }. \NAMECITE{Nonautoreducible}{% Nguyen:2016:SPN% }. \NAMECITE{Noncommutative}{% Arvind:2016:NVC% }. \NAMECITE{Nondeterminism}{% Beame:2016:NAF,% Kratsch:2014:KLB% }. \NAMECITE{Nondeterministic}{% David:2009:ISB% }. \NAMECITE{Nonsubmodular}{% Schoenebeck:2019:BWC% }. \NAMECITE{Note}{% Etessami:2014:NCC% }. \NAMECITE{NP}{% Watson:2020:ZNL,% Arvind:2011:SGI,% Austrin:2014:NNH,% Glasser:2014:UDN,% Gupta:2021:PMR,% Lagerkvist:2022:CFG,% Watson:2012:RWW% }. \NAMECITE{{NP}-Complete}{% Glasser:2014:UDN% }. \NAMECITE{{NP-Hard}}{% Lagerkvist:2022:CFG,% Gupta:2021:PMR% }. \NAMECITE{{NP}-Hardness}{% Austrin:2014:NNH% }. \NAMECITE{Nucleolus}{% Greco:2014:CNC% }. \NAMECITE{Number}{% Arvind:2022:PCF,% Fomin:2021:CHN,% Goos:2018:RCV,% Ron:2013:ANR% }. \NAMECITE{Numerical}{% Sun:2014:ECN% }. \NAMECITE{Oblivious}{% Anderson:2018:ITL,% Goldreich:2015:IOP,% Gurjar:2020:PBO,% Kayal:2020:SBR% }. \NAMECITE{obstruction}{% Fellows:2014:FCU% }. \NAMECITE{Once}{% Fischer:2016:TRO,% Iwama:2019:ROB,% Minahan:2018:CDI,% Volkovich:2016:CAR,% Kayal:2020:SBR,% Ramya:2019:LBS% }. \NAMECITE{One}{% Cook:2014:OWF,% Ron:2022:ODF% }. \NAMECITE{One-Sided}{% Ron:2022:ODF% }. \NAMECITE{One-Way}{% Cook:2014:OWF% }. \NAMECITE{Ones}{% Kratsch:2016:PCK% }. \NAMECITE{Operators}{% Kawamura:2012:CTO% }. \NAMECITE{Optimal}{% Artemenko:2017:PGO,% Beyersdorff:2012:PBD,% De:2013:EOH,% Jansen:2019:OSS,% ODonnell:2014:OLB,% Penna:2012:CRM,% Ron:2022:ODF% }. \NAMECITE{Optimization}{% Blais:2019:TJT,% Vlassis:2012:CCS% }. \NAMECITE{Oracles}{% Hitchcock:2021:PTR% }. \NAMECITE{Ordered}{% Nakajima:2022:LOC% }. \NAMECITE{orders}{% Fellows:2014:FCU% }. \NAMECITE{Other}{% Bulatov:2020:ACC% }. \NAMECITE{Overdetermined}{% Guruswami:2009:HSS% }. \NAMECITE{Overlaps}{% Fernau:2015:UPT% }. \NAMECITE{{P}}{% Goldreich:2015:IOP% }. \NAMECITE{{P/poly}}{% Goldreich:2015:IOP% }. \NAMECITE{Packing}{% Adamaszek:2017:HAS,% Fernau:2015:UPT,% Zehavi:2023:FCM% }. \NAMECITE{Pairs}{% Hamoudi:2023:QTS,% Pilipczuk:2018:DMW% }. \NAMECITE{Pairwise}{% Goldberg:2019:APC% }. \NAMECITE{Parallel}{% Pass:2012:PRT% }. \NAMECITE{Parameter}{% Feldmann:2023:CLF,% Fellows:2013:DFP% }. \NAMECITE{Parameterizations}{% Fellows:2016:TPM% }. \NAMECITE{Parameterized}{% Agrawal:2018:SFV,% Arvind:2022:PCF,% Bandyapadhyay:2023:PCF,% Beyersdorff:2012:PBD,% Chen:2015:FCC,% Gunda:2021:PAC,% Iwama:2018:PT,% Jerrum:2015:SHF,% Kratsch:2016:PCK,% Pallavoor:2018:PPT,% Cygan:2013:MCP% }. \NAMECITE{Parametric}{% Fernau:2015:UPT% }. \NAMECITE{Parsing}{% Etessami:2014:NCC% }. \NAMECITE{{Part}}{% Allender:2014:ISI% }. \NAMECITE{Partial}{% Itsykson:2021:CPC,% Kumar:2016:ACL% }. \NAMECITE{Parties}{% Podolskii:2020:IPS% }. \NAMECITE{Partition}{% Goos:2018:RCV% }. \NAMECITE{Party}{% Kerenidis:2019:MPP% }. \NAMECITE{Pattern}{% Fernau:2020:PMV% }. \NAMECITE{{PCP}}{% Guruswami:2009:HSS% }. \NAMECITE{{PCPPs}}{% Ben-Sasson:2009:SQP% }. \NAMECITE{Pebbles}{% Cook:2012:PBP% }. \NAMECITE{Pebbling}{% Komarath:2015:PEB% }. \NAMECITE{Perfect}{% Gurjar:2016:PGP,% Gurjar:2017:EPM% }. \NAMECITE{Permanents}{% Datta:2010:PDP% }. \NAMECITE{Perspective}{% Agrawal:2018:SFV,% Goldreich:2015:IOP% }. \NAMECITE{Planar}{% Bourke:2009:DPR,% Chakraborty:2018:SPT,% Datta:2022:PGI,% Kulkarni:2011:PIP,% Kyncl:2010:LRD% }. \NAMECITE{Planarity}{% Datta:2010:PDP,% Fomin:2022:AMT% }. \NAMECITE{Planarizing}{% Gurjar:2016:PGP% }. \NAMECITE{Plane}{% Bezakova:2021:CAM,% Lutz:2018:AIP% }. \NAMECITE{Planes}{% Lauria:2016:RLB% }. \NAMECITE{Point}{% Singer:2022:PHI% }. \NAMECITE{Point-hyperplane}{% Singer:2022:PHI% }. \NAMECITE{Poly}{% Artemenko:2017:PGO,% Dhayal:2017:MMP,% Goldreich:2015:IOP% }. \NAMECITE{Poly-Size}{% Artemenko:2017:PGO% }. \NAMECITE{Polynomial}{% Bezakova:2021:CAM,% Chakraborty:2018:SPT,% Chen:2017:PCM,% Fernau:2015:UPT,% Hitchcock:2021:PTR,% Volk:2022:PDB% }. \NAMECITE{Polynomial-Time}{% Hitchcock:2021:PTR% }. \NAMECITE{Polynomials}{% Bogdanov:2013:HFL,% Chaugule:2021:VHP,% Chillara:2021:CMP,% Jansen:2019:OSS,% Kayal:2012:SSR% }. \NAMECITE{{POMDPs}}{% Vlassis:2012:CCS% }. \NAMECITE{Popular}{% Gupta:2021:PMR% }. \NAMECITE{Power}{% Applebaum:2020:PAS,% Kulkarni:2011:PIP,% Kumar:2020:PBD,% ODonnell:2018:WCQ,% Ron:2016:PEH% }. \NAMECITE{{PPSZ}}{% Scheder:2019:PMB% }. \NAMECITE{Predicates}{% Cheraghchi:2012:ALT,% Austrin:2013:UP% }. \NAMECITE{predictions}{% Drucker:2013:HCP% }. \NAMECITE{Prime}{% Bogdanov:2013:HFL% }. \NAMECITE{Principle}{% Filmus:2018:IPS% }. \NAMECITE{Privacy}{% Kerenidis:2019:MPP% }. \NAMECITE{Private}{% Ada:2014:HBP% }. \NAMECITE{Probability}{% Etessami:2014:NCC% }. \NAMECITE{Probe}{% Yin:2010:CPP% }. \NAMECITE{Problem}{% Dhayal:2017:MMP,% Fellows:2016:TPM,% Lee:2018:CPP,% Tani:2012:EQA,% Cook:2014:CCC% }. \NAMECITE{Problems}{% Allender:2019:NIN,% Ambainis:2015:LBD,% Arvind:2016:NVC,% Bartholdi:2022:GAH,% Bliznets:2018:HAF,% Drange:2015:ESC,% Feldmann:2023:CLF,% Fellows:2011:CDF,% Fernau:2015:UPT,% Fomin:2021:CHN,% Hemaspaandra:2020:SVD,% Iwama:2019:ROB,% Jerrum:2015:SHF,% Jonsson:2021:FGT,% Kayal:2012:SSR,% Komusiewicz:2018:TRT,% Kratsch:2016:PCK,% Lagerkvist:2020:SSC,% Lagerkvist:2022:CFG,% Purdy:2011:LBC% }. \NAMECITE{Product}{% Goldenberg:2020:TGD,% Lee:2018:CPP,% Podolskii:2020:IPS% }. \NAMECITE{Products}{% Lutz:2021:FIP,% Ramya:2019:LBS% }. \NAMECITE{Program}{% Dinesh:2019:CLB,% Komarath:2015:PEB% }. \NAMECITE{Programming}{% Jukna:2020:CFD,% Knop:2020:TCL,% Williams:2013:ATP% }. \NAMECITE{Programs}{% Anderson:2018:ITL,% Cook:2012:PBP,% Cote:2023:CBP,% Gurjar:2020:PBO,% Iwama:2019:ROB,% Kayal:2019:RFR,% Kayal:2020:SBR,% Oliveira:2019:RMB,% Teutsch:2015:ADM% }. \NAMECITE{Projective}{% Dinesh:2019:CLB% }. \NAMECITE{Promise}{% Brandts:2021:CPS% }. \NAMECITE{Proof}{% Beyersdorff:2019:NRB,% Beyersdorff:2020:RHQ,% Chen:2014:HIA,% Chen:2017:PCM,% Goldreich:2015:IOP,% Itsykson:2021:CPC,% Krebs:2016:SDP,% Razborov:2009:SPB% }. \NAMECITE{Proofs}{% Lauria:2016:RLB,% Pass:2012:PRT,% Viola:2019:CEP,% Williams:2013:ATP,% Yin:2010:CPP,% Beyersdorff:2013:VPC% }. \NAMECITE{Properties}{% Black:2019:MPU,% Li:2021:SCU,% Nguyen:2016:SPN% }. \NAMECITE{Property}{% Bhattacharyya:2018:PTJ,% Pallavoor:2018:PPT% }. \NAMECITE{Proposed}{% Cook:2014:OWF% }. \NAMECITE{Protocols}{% Boczkowski:2018:SCP,% Cote:2023:CBP,% Folwarczny:2023:PMF,% Kerenidis:2019:MPP% }. \NAMECITE{Pseudorandom}{% Artemenko:2017:PGO,% Cheraghchi:2020:CLB,% Gurjar:2020:PBO% }. \NAMECITE{Pseudorandomness}{% Viola:2019:CEP% }. \NAMECITE{{PSPACE}}{% Bartholdi:2022:GAH% }. \NAMECITE{{PSPACE}-complete}{% Bartholdi:2022:GAH% }. \NAMECITE{{QBF}}{% Beyersdorff:2019:NRB,% Beyersdorff:2020:RHQ% }. \NAMECITE{Quadratic}{% Viola:2016:QMH,% Watson:2020:QSM% }. \NAMECITE{Quantum}{% Ambainis:2015:LBD,% Hamoudi:2023:QTS,% Magniez:2022:QDC,% Ozols:2013:QRS,% Regev:2015:QXG,% Tani:2012:EQA% }. \NAMECITE{quasi}{% Fellows:2014:FCU% }. \NAMECITE{quasi-orders}{% Fellows:2014:FCU% }. \NAMECITE{Qubits}{% ODonnell:2018:WCQ% }. \NAMECITE{Queries}{% Chen:2015:FCC,% Ron:2016:PEH% }. \NAMECITE{Query}{% Ben-Sasson:2009:SQP,% Bhattacharyya:2017:LBC,% Chang:2018:MMS,% Gal:2012:TQL,% Guruswami:2009:HSS,% Ron:2012:AIM,% Smyth:2011:AQC% }. \NAMECITE{{Ramsey}}{% Lauria:2016:RLB% }. \NAMECITE{Random}{% Hitchcock:2021:PTR% }. \NAMECITE{Randomized}{% David:2009:ISB,% Goos:2018:RCV% }. \NAMECITE{Randomness}{% Hitchcock:2011:KCR% }. \NAMECITE{Rank}{% Kayal:2019:RFR,% Kumar:2016:ACL,% Lauria:2016:RLB,% Bun:2021:SRC,% Singer:2022:PHI% }. \NAMECITE{Rate}{% Applebaum:2020:PAS% }. \NAMECITE{Ratio}{% Chang:2018:MMS% }. \NAMECITE{Reachability}{% Bourke:2009:DPR,% Chakraborty:2018:SPT,% Kyncl:2010:LRD% }. \NAMECITE{Read}{% Anderson:2018:ITL,% Fischer:2016:TRO,% Iwama:2019:ROB,% Kayal:2020:SBR,% Minahan:2018:CDI,% Ramya:2019:LBS,% Volkovich:2016:CAR,% Beame:2012:VMR% }. \NAMECITE{Read-}{% Anderson:2018:ITL% }. \NAMECITE{Read-Once}{% Fischer:2016:TRO,% Iwama:2019:ROB,% Minahan:2018:CDI,% Volkovich:2016:CAR,% Kayal:2020:SBR,% Ramya:2019:LBS% }. \NAMECITE{{Read/}}{% Beame:2012:VMR% }. \NAMECITE{Real}{% Razborov:2013:RA,% Valiant:2014:ERF% }. \NAMECITE{Reals}{% ODonnell:2015:HMM% }. \NAMECITE{Reasons}{% Beyersdorff:2020:RHQ% }. \NAMECITE{Reconstruction}{% Kayal:2019:RFR,% Minahan:2018:CDI% }. \NAMECITE{Reducible}{% Chattopadhyay:2013:GIA% }. \NAMECITE{Reduction}{% Kyncl:2010:LRD% }. \NAMECITE{Reductions}{% Blais:2019:DTL,% Dell:2021:FGR,% Watson:2012:RWW% }. \NAMECITE{{Reed}}{% Srinivasan:2020:DVR% }. \NAMECITE{Reflexive}{% Larose:2019:SHC% }. \NAMECITE{regular}{% Viderman:2013:LTD% }. \NAMECITE{rejection}{% Ozols:2013:QRS% }. \NAMECITE{Related}{% Allender:2019:NIN,% Fomin:2021:CHN,% Kayal:2012:SSR% }. \NAMECITE{Relation}{% Ganian:2020:EMR% }. \NAMECITE{Relational}{% Fulla:2016:GCW% }. \NAMECITE{Relative}{% Fontes:2016:RDD% }. \NAMECITE{Relativization}{% Aydinlioglu:2018:ARU,% Aydinlioglu:2019:CAR% }. \NAMECITE{Relativized}{% Watson:2012:RWW% }. \NAMECITE{Relaxations}{% Thapper:2018:LSR% }. \NAMECITE{Relaxed}{% Goldreich:2019:SLT% }. \NAMECITE{Relevant}{% Ron:2013:ANR% }. \NAMECITE{Repetition}{% Pass:2012:PRT% }. \NAMECITE{Representations}{% Oliveira:2019:RMB% }. \NAMECITE{Represented}{% Etessami:2014:NCC,% Schoenebeck:2012:CCN% }. \NAMECITE{Require}{% Gal:2012:TQL,% Viola:2019:CEP% }. \NAMECITE{Resilient}{% Levi:2022:ERS% }. \NAMECITE{Resistant}{% Penna:2012:CRM% }. \NAMECITE{Resolution}{% Beyersdorff:2019:NRB,% Galesi:2020:CRG% }. \NAMECITE{Resolution-Based}{% Beyersdorff:2019:NRB% }. \NAMECITE{Results}{% Austrin:2014:NNH,% Cygan:2014:CCG,% Dalmau:2013:RSC,% De:2013:EOH,% Fernau:2020:PMV% }. \NAMECITE{Retractions}{% Focke:2020:CAC% }. \NAMECITE{rigid}{% Volk:2022:PDB% }. \NAMECITE{ROABPs}{% Kayal:2020:SBR% }. \NAMECITE{Robber}{% Galesi:2020:CRG% }. \NAMECITE{Robust}{% Dalmau:2013:RSC% }. \NAMECITE{Roommates}{% Gupta:2021:PMR% }. \NAMECITE{Roots}{% Kayal:2012:SSR% }. \NAMECITE{Rope}{% Monde:2021:CSL% }. \NAMECITE{Round}{% Pass:2012:PRT% }. \NAMECITE{Routing}{% Hoefer:2010:TAC% }. \NAMECITE{Running}{% Komusiewicz:2018:TRT% }. \NAMECITE{Samplable}{% De:2012:ELB% }. \NAMECITE{Sample}{% Goldreich:2016:SBT,% Ron:2022:ODF,% Viola:2016:QMH% }. \NAMECITE{Sample-Based}{% Goldreich:2016:SBT,% Ron:2022:ODF% }. \NAMECITE{Samples}{% Bhattacharyya:2018:PTJ% }. \NAMECITE{Sampling}{% Goos:2020:LBS,% Ron:2016:PEH,% Ozols:2013:QRS% }. \NAMECITE{{SAT}}{% Brandts:2021:CPS,% Lagerkvist:2020:SSC,% Lagerkvist:2022:CFG% }. \NAMECITE{Satisfaction}{% Fischer:2016:TRO,% Jonsson:2021:FGT% }. \NAMECITE{Satisfiability}{% Dalmau:2013:RSC% }. \NAMECITE{Schemes}{% Dhayal:2017:MMP% }. \NAMECITE{Science}{% Allender:2014:ISI,% Allender:2013:ISI% }. \NAMECITE{{SDP}}{% Thapper:2018:LSR% }. \NAMECITE{Search}{% Hemaspaandra:2020:SVD% }. \NAMECITE{Secret}{% Applebaum:2020:PAS% }. \NAMECITE{Seed}{% Artemenko:2017:PGO% }. \NAMECITE{Seen}{% Bulatov:2020:ACC% }. \NAMECITE{Selection}{% Bandyapadhyay:2023:PCF,% Chang:2018:MMS% }. \NAMECITE{Selfish}{% Hoefer:2010:TAC% }. \NAMECITE{Semirings}{% Ganardi:2018:CEF% }. \NAMECITE{Sensitive}{% ODonnell:2014:OLB% }. \NAMECITE{Sensitivity}{% Li:2021:SCU% }. \NAMECITE{Separate}{% Fontes:2016:RDD% }. \NAMECITE{Separating}{% Hitchcock:2021:PTR% }. \NAMECITE{Separation}{% Cygan:2014:CCG,% Kayal:2020:SBR,% Srinivasan:2020:SES% }. \NAMECITE{Separations}{% David:2009:ISB% }. \NAMECITE{Set}{% Agrawal:2018:SFV,% Magniez:2022:QDC,% Podolskii:2020:IPS,% Ron:2016:PEH,% Zehavi:2023:FCM% }. \NAMECITE{Sets}{% Glasser:2014:UDN,% Goos:2020:LBS,% Lutz:2018:AIP,% Nguyen:2016:SPN,% Fellows:2014:FCU% }. \NAMECITE{Setting}{% Gupta:2021:PMR% }. \NAMECITE{Sharing}{% Applebaum:2020:PAS% }. \NAMECITE{Side}{% Bulatov:2020:ACC% }. \NAMECITE{Sided}{% Ron:2022:ODF% }. \NAMECITE{Sign}{% Bun:2021:SRC% }. \NAMECITE{Sign-rank}{% Bun:2021:SRC% }. \NAMECITE{Signal}{% Becker:2021:AGC% }. \NAMECITE{signaling}{% Chiesa:2020:TLA% }. \NAMECITE{Simple}{% Razborov:2009:SPB% }. \NAMECITE{Simulations}{% Watson:2020:QSM% }. \NAMECITE{Simultaneous}{% Agrawal:2018:SFV% }. \NAMECITE{Size}{% Artemenko:2017:PGO,% Dinesh:2019:CLB,% Fulla:2016:GCW,% Haviv:2016:LDS,% Komarath:2015:PEB,% Ron:2016:PEH% }. \NAMECITE{Skywalker}{% Monde:2021:CSL% }. \NAMECITE{Sleeping}{% Kanade:2014:LHS% }. \NAMECITE{Slice}{% Filmus:2018:IPS% }. \NAMECITE{Small}{% Krebs:2016:SDP,% Schmid:2017:FCS,% Volk:2022:PDB% }. \NAMECITE{Smoothed}{% Blaser:2015:SCT% }. \NAMECITE{Solution}{% Schmid:2017:FCS% }. \NAMECITE{Solutions}{% Fellows:2011:CDF,% Penna:2012:CRM,% Sun:2014:ECN% }. \NAMECITE{Solvable}{% Arvind:2011:SGI,% Rosenbaum:2020:BGE% }. \NAMECITE{Solvable-Group}{% Rosenbaum:2020:BGE% }. \NAMECITE{Solving}{% Guruswami:2009:HSS% }. \NAMECITE{Some}{% Jansen:2019:OSS,% Jerrum:2015:SHF% }. \NAMECITE{Sound}{% Ben-Sasson:2009:SQP% }. \NAMECITE{Source}{% Chen:2017:PCM% }. \NAMECITE{Sources}{% De:2012:ELB% }. \NAMECITE{Space}{% Bourke:2009:DPR,% Chakraborty:2018:SPT,% Chen:2015:FCC,% Datta:2022:PGI,% Gal:2016:SEA,% Hamoudi:2023:QTS,% Pilipczuk:2018:SEA% }. \NAMECITE{Space-Efficient}{% Gal:2016:SEA% }. \NAMECITE{Sparse}{% Guruswami:2009:HSS,% Haviv:2016:LDS% }. \NAMECITE{Sparsification}{% Chen:2023:SLB,% Jansen:2019:OSS,% Lagerkvist:2020:SSC% }. \NAMECITE{Spatial}{% Guo:2018:USM% }. \NAMECITE{Special}{% Allender:2014:ISI,% Allender:2013:ISI% }. \NAMECITE{Spin}{% Galanis:2021:FAG,% Guo:2018:USM% }. \NAMECITE{Split}{% Agrawal:2019:SCU% }. \NAMECITE{Square}{% Gobel:2016:CHS,% Kayal:2012:SSR% }. \NAMECITE{Square-Free}{% Gobel:2016:CHS% }. \NAMECITE{Stability}{% De:2013:EOH% }. \NAMECITE{State}{% Gharibian:2018:GSC% }. \NAMECITE{Statistical}{% Watson:2018:CCS% }. \NAMECITE{{Steiner}}{% Feldmann:2023:CLF% }. \NAMECITE{Stochastic}{% Vlassis:2012:CCS% }. \NAMECITE{Story}{% Agrawal:2019:SCU% }. \NAMECITE{Strategies}{% Chiesa:2020:TLA% }. \NAMECITE{Streaming}{% Boczkowski:2018:SCP% }. \NAMECITE{Streams}{% Beame:2012:VMR% }. \NAMECITE{String}{% Itsykson:2021:CPC% }. \NAMECITE{Strings}{% Schmid:2017:FCS% }. \NAMECITE{Strip}{% Adamaszek:2017:HAS% }. \NAMECITE{Strong}{% Goldreich:2019:SLT% }. \NAMECITE{Strongly}{% Srinivasan:2020:SES% }. \NAMECITE{Structural}{% Nguyen:2016:SPN,% Pilipczuk:2018:SEA% }. \NAMECITE{Structure}{% Arvind:2016:NVC,% Lagerkvist:2022:CFG% }. \NAMECITE{Subexponential}{% Drange:2015:ESC% }. \NAMECITE{Subgraph}{% Goldreich:2020:STM% }. \NAMECITE{Subgraphs}{% Haviv:2019:MFS,% Kratsch:2014:KLB% }. \NAMECITE{Sublinear}{% Levi:2022:ERS% }. \NAMECITE{Sublinear-Time}{% Levi:2022:ERS% }. \NAMECITE{Submodular}{% Blais:2019:TJT% }. \NAMECITE{Subsequence}{% Ron:2022:ODF% }. \NAMECITE{Subsequence-Freeness}{% Ron:2022:ODF% }. \NAMECITE{Subset}{% Gal:2016:SEA% }. \NAMECITE{Succinctly}{% Etessami:2014:NCC% }. \NAMECITE{Sum}{% Gal:2016:SEA,% Kayal:2012:SSR,% Ramya:2019:LBS% }. \NAMECITE{Superpolynomial}{% Filmus:2015:ELB% }. \NAMECITE{Surjective}{% Fulla:2019:CBS,% Larose:2019:SHC% }. \NAMECITE{Symmetric}{% Boppana:2019:BIV% }. \NAMECITE{Symmetrization}{% Kretschmer:2021:LBT% }. \NAMECITE{Systems}{% Beyersdorff:2020:RHQ,% Chen:2014:HIA,% Galanis:2021:FAG,% Goldreich:2015:IOP,% Guo:2018:USM,% Guruswami:2009:HSS,% Krebs:2016:SDP% }. \NAMECITE{Terminal}{% Pilipczuk:2018:DMW% }. \NAMECITE{Testability}{% Iwama:2018:PT% }. \NAMECITE{Testable}{% Goldreich:2019:SLT% }. \NAMECITE{Testers}{% Goldreich:2016:SBT% }. \NAMECITE{Testing}{% Anderson:2018:ITL,% Bhattacharyya:2018:PTJ,% Blais:2019:DTL,% Blais:2019:TJT,% Chiesa:2020:TLA,% Fischer:2016:TRO,% Goldenberg:2020:TGD,% Goldreich:2020:STM,% Minahan:2018:CDI,% Pallavoor:2018:PPT,% Ron:2022:ODF% }. \NAMECITE{Tests}{% Boppana:2019:BIV,% Lee:2018:CPP% }. \NAMECITE{Their}{% Beyersdorff:2019:NRB% }. \NAMECITE{Theorem}{% Cai:2021:TLD,% Fomin:2022:AMT,% Ganardi:2019:UTB,% Goldenberg:2020:TGD,% Pass:2012:PRT,% Watson:2014:ALB,% Watson:2020:ZNL,% Lauria:2016:RLB,% Razborov:2009:SPB% }. \NAMECITE{Theoretical}{% Allender:2014:ISI,% Allender:2013:ISI% }. \NAMECITE{Theory}{% Aaronson:2009:ANB,% Blaser:2015:SCT,% Kawamura:2012:CTO% }. \NAMECITE{Three}{% Gal:2012:TQL,% Kayal:2020:SBR% }. \NAMECITE{Three-Query}{% Gal:2012:TQL% }. \NAMECITE{Threshold}{% Cheraghchi:2012:ALT% }. \NAMECITE{Tight}{% Bonamy:2019:TLB,% Fomin:2021:CHN,% Knop:2020:TCL,% Komusiewicz:2018:TRT% }. \NAMECITE{Time}{% Chakraborty:2018:SPT,% Hamoudi:2023:QTS,% Hitchcock:2021:PTR,% Jonsson:2021:FGT,% Komusiewicz:2018:TRT,% Levi:2022:ERS,% Viderman:2013:LTD,% Zehavi:2023:FCM% }. \NAMECITE{Time-Space}{% Hamoudi:2023:QTS% }. \NAMECITE{Tiny}{% ODonnell:2014:OLB% }. \NAMECITE{Tolerant}{% Blais:2019:TJT% }. \NAMECITE{Total}{% Ambainis:2021:ACA% }. \NAMECITE{Tractability}{% Chen:2017:AMC% }. \NAMECITE{Tractable}{% Fellows:2013:DFP,% Fellows:2016:TPM,% Lagerkvist:2020:SSC% }. \NAMECITE{Tradeoff}{% Hamoudi:2023:QTS% }. \NAMECITE{Tradeoffs}{% Hoefer:2010:TAC% }. \NAMECITE{Trading}{% Williams:2013:ATP% }. \NAMECITE{Transform}{% Ailon:2016:OLR% }. \NAMECITE{Transformations}{% Fernau:2015:UPT% }. \NAMECITE{Tree}{% Cook:2012:PBP,% Elberfeld:2017:CGB,% Ganardi:2019:UTB,% Goldberg:2014:CAC,% Iwama:2019:ROB,% Kretschmer:2021:LBT% }. \NAMECITE{Trichotomy}{% Galanis:2017:CTA% }. \NAMECITE{{Tseitin}}{% Galesi:2020:CRG% }. \NAMECITE{Type}{% Cai:2021:TLD% }. \NAMECITE{{UL}}{% Dhayal:2017:MMP% }. \NAMECITE{Unambiguous}{% Bourke:2009:DPR% }. \NAMECITE{uncertainty}{% Drucker:2013:HCP% }. \NAMECITE{Understanding}{% Chen:2017:PCM% }. \NAMECITE{Uniform}{% Applebaum:2020:PAS,% Black:2019:MPU,% Goldreich:2015:IOP,% Li:2021:SCU% }. \NAMECITE{Unifying}{% Aydinlioglu:2018:ARU,% Aydinlioglu:2019:CAR% }. \NAMECITE{Unions}{% Glasser:2014:UDN% }. \NAMECITE{Unique}{% Datta:2010:PDP% }. \NAMECITE{Uniqueness}{% Guo:2018:USM% }. \NAMECITE{Universal}{% Becker:2021:AGC,% Ganardi:2019:UTB% }. \NAMECITE{Unordered}{% Rahman:2020:CUC% }. \NAMECITE{Unpredictability}{% Viola:2021:AU% }. \NAMECITE{Untold}{% Agrawal:2019:SCU% }. \NAMECITE{useful}{% Fellows:2014:FCU% }. \NAMECITE{usefulness}{% Austrin:2013:UP% }. \NAMECITE{Useless}{% Jukna:2020:CFD% }. \NAMECITE{Using}{% Chillara:2021:CMP,% Fernau:2015:UPT,% Jansen:2019:OSS,% Ron:2016:PEH,% Bhattacharyya:2018:PTJ,% Dinesh:2019:CLB,% Kratsch:2014:KLB% }. \NAMECITE{{Valiant}}{% Arvind:2016:NVC% }. \NAMECITE{Value}{% Beame:2012:VMR,% Cook:2014:CCC% }. \NAMECITE{Valued}{% Fulla:2019:CBS,% Thapper:2018:LSR% }. \NAMECITE{Variables}{% Fernau:2020:PMV,% Ron:2013:ANR% }. \NAMECITE{Variants}{% Chaugule:2021:VHP,% Srinivasan:2020:DVR% }. \NAMECITE{Verification}{% Penna:2012:CRM% }. \NAMECITE{Verifying}{% Beyersdorff:2013:VPC% }. \NAMECITE{versus}{% Boppana:2019:BIV,% Dhayal:2017:MMP,% Goos:2018:RCV,% Hemaspaandra:2020:SVD% }. \NAMECITE{Vertex}{% Agrawal:2018:SFV,% Arvind:2022:PCF,% Fellows:2011:CDF,% Komusiewicz:2018:TRT% }. \NAMECITE{via}{% Blais:2019:DTL,% De:2013:EOH,% Kretschmer:2021:LBT,% Kumar:2016:ACL,% Lagerkvist:2020:SSC,% Lutz:2021:FIP% }. \NAMECITE{{VNP}}{% Hrubes:2016:HMV,% Srinivasan:2020:SES% }. \NAMECITE{{VNP}-Completeness}{% Hrubes:2016:HMV% }. \NAMECITE{{VP}}{% Srinivasan:2020:SES% }. \NAMECITE{vs}{% Chang:2018:MMS% }. \NAMECITE{Way}{% Cook:2014:OWF% }. \NAMECITE{Weakly}{% Black:2019:MPU% }. \NAMECITE{Weakness}{% ODonnell:2018:WCQ% }. \NAMECITE{Weighing}{% Purdy:2011:LBC% }. \NAMECITE{Weight}{% Huang:2022:ADW% }. \NAMECITE{Weighted}{% Fulla:2016:GCW,% Zehavi:2023:FCM% }. \NAMECITE{Weighting}{% Dhayal:2017:MMP% }. \NAMECITE{Well}{% Ailon:2016:OLR% }. \NAMECITE{Width}{% Elberfeld:2017:CGB% }. \NAMECITE{without}{% Brakerski:2014:LFH,% Watson:2012:RWW% }. \NAMECITE{Word}{% Bartholdi:2022:GAH% }. \NAMECITE{Working}{% Pilipczuk:2018:SEA% }. \NAMECITE{Worlds}{% Watson:2012:RWW% }. \NAMECITE{Worst}{% Schoenebeck:2019:BWC,% Watson:2012:RWW% }. \NAMECITE{Worst-Case}{% Watson:2012:RWW,% Schoenebeck:2019:BWC% }. \NAMECITE{Write}{% Beame:2012:VMR% }. \NAMECITE{{XOR}}{% Regev:2015:QXG% }. \NAMECITE{Yielding}{% Penna:2012:CRM% }. \NAMECITE{{ZPP}}{% Watson:2020:ZNL% }.