@incollection(BKW17,
 author       = {Libor Barto and Andrei Krokhin and Ross Willard},
 year         = {2017},
 title        = {Polymorphisms, and how to use them},
 editor       = {Andrei Krokhin and \v{Z}ivn\'{y}, Stanislav},
 booktitle    = {The Constraint Satisfaction Problem: Complexity and Approximability},
 series       = {Dagstuhl Follow-Ups},
 volume       = {7},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum f\"ur Informatik},
 pages        = {1--44},
 doi          = {10.4230/DFU.Vol7.15301.1},
)
@article(BMRSVF99,
 author       = {S. Bistarelli and U. Montanari and F. Rossi and T. Schiex and G. Verfaillie and H. Fargier},
 year         = {1999},
 title        = {Semiring-based CSPs and valued CSPs: frameworks, properties, and comparison},
 journal      = {Constraints},
 volume       = {4},
 pages        = {199--240},
 doi          = {10.1023/A:1026441215081},
)
@article(BMR97,
 author       = {Stefano Bistarelli and Ugo Montanari and Francesca Rossi},
 year         = {1997},
 title        = {Semiring-based constraint satisfaction and optimization},
 journal      = {Journal of the ACM},
 volume       = {44},
 pages        = {201--236},
 doi          = {10.1145/256303.256306},
)
@incollection(BoM17,
 author       = {Manuel Bodirsky and Marcello Mamino},
 year         = {2017},
 title        = {{Constraint satisfaction problems over numeric domains}},
 editor       = {Andrei Krokhin and \v{Z}ivn\'{y}, Stanislav},
 booktitle    = {The Constraint Satisfaction Problem: Complexity and Approximability},
 volume       = {7},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum f\"ur Informatik},
 pages        = {79--111},
 doi          = {10.4230/DFU.Vol7.15301.79},
)
@book(BoM08,
 author       = {Adrian Bondy and U.S.R. Murty},
 year         = {2008},
 title        = {Graph Theory},
 publisher    = {Springer-Verlag London},
)
@article(BHZ06,
 author       = {Lucas Bordeaux and Youssef Hamadi and Lintao Zhang},
 year         = {2006},
 title        = {Propositional satisfiability and constraint programming: a comparative survey},
 journal      = {ACM Computing Surveys},
 volume       = {38},
 number       = {4},
 doi          = {10.1145/1177352.1177354},
 note         = {Article 12},
)
@article(Bul06,
 author       = {Andrei A. Bulatov},
 year         = {2006},
 title        = {A dichotomy theorem for constraint satisfaction problems on a 3-element set},
 journal      = {Journal of the ACM},
 volume       = {53},
 number       = {1},
 pages        = {66--120},
 doi          = {10.1145/1120582.1120584},
)
@inproceedings(Bul17,
 author       = {Andrei A. Bulatov},
 year         = {2017},
 title        = {A dichotomy theorem for nonuniform {CSP}s},
 booktitle    = {Proceedings of the 58th IEEE Annual Symposium on Foundations of Computer Science},
 pages        = {319--330},
 doi          = {10.1109/FOCS.2017.37},
)
@article(BJK05,
 author       = {Andrei A. Bulatov and Peter Jeavons and Andrei A. Krokhin},
 year         = {2005},
 title        = {Classifying the complexity of constraints using finite algebras},
 journal      = {{SIAM} Journal on Computing},
 volume       = {34},
 number       = {3},
 pages        = {720--742},
 doi          = {10.1137/S0097539700376676},
)
@book(CaC17,
 author       = {Jin-Yi Cai and Xi Chen},
 year         = {2017},
 title        = {Complexity Dichotomies for Counting Problems},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/9781107477063},
)
@article(CCC13,
 author       = {David A. Cohen and Martin C. Cooper and P{\'a}id{\'\i} Creed and Peter G. Jeavons and {\v{Z}}ivn{\'{y}}, Stanislav},
 year         = {2013},
 title        = {An algebraic theory of complexity for discrete optimization},
 journal      = {SIAM Journal on Computing},
 volume       = {42},
 pages        = {1915--1939},
 doi          = {10.1137/130906398},
)
@inproceedings(Coo71,
 author       = {Stephen A. Cook},
 year         = {1971},
 title        = {The complexity of theorem-proving procedures},
 booktitle    = {Proceedings of the 3rd Annual ACM Symposium on Theory of Computing},
 pages        = {151--158},
 doi          = {10.1145/800157.805047},
)
@book(CKS01,
 author       = {Nadia Creignou and Sanjeev Khanna and Madhu Sudan},
 year         = {2001},
 title        = {Complexity Classifications of {B}oolean Constraint Satisfaction Problems},
 publisher    = {Society for Industrial and Applied Mathematics},
 address      = {Pennsylvania, USA},
 doi          = {10.1137/1.9780898718546},
)
@book(Dec03,
 author       = {Rina Dechter},
 year         = {2003},
 title        = {Constraint Processing},
 publisher    = {Morgan Kaufmann},
 address      = {California, USA},
 doi          = {10.1016/B978-1-55860-890-0.X5000-2},
)
@article(Feder-Vardi,
 author       = {Tom{\'a}s Feder and Moshe Y. Vardi},
 year         = {1998},
 title        = {The computational structure of monotone monadic SNP and constraint satisfaction: A study through Datalog and group theory},
 journal      = {SIAM Journal on Computing},
 volume       = {28},
 number       = {1},
 pages        = {57--104},
 doi          = {10.1137/S0097539794266766},
)
@book(HeN04,
 author       = {Pavol Hell and Jaroslav Nesetril},
 year         = {2004},
 title        = {Graphs and Homomorphisms},
 publisher    = {Oxford University Press},
 doi          = {10.1093/acprof:oso/9780198528173.001.0001},
)
@article(HOv18,
 author       = {John N. Hooker and W.-J. van Hoeve},
 year         = {2018},
 title        = {Constraint programming and operations research},
 journal      = {Constraints},
 volume       = {23},
 pages        = {172--195},
 doi          = {10.1007/s10601-017-9280-3},
)
@inproceedings(HMV17,
 author       = {Horc{\'\i}k, Rostislav and Tommaso Moraschini and Amanda Vidal},
 year         = {2017},
 title        = {An algebraic approach to valued constraint satisfaction},
 booktitle    = {26th EACSL Annual Conference on Computer Science Logic (CSL 2017)},
 organization = {Schloss Dagstuhl-Leibniz-Zentrum f\"ur Informatik},
 doi          = {10.4230/LIPIcs.CSL.2017.42},
)
@article(Jeavons-algebraic,
 author       = {Peter Jeavons},
 year         = {1998},
 title        = {On the algebraic structure of combinatorial problems},
 journal      = {Theoretical Computer Science},
 volume       = {200},
 number       = {1-2},
 pages        = {185--204},
 doi          = {10.1016/S0304-3975(97)00230-2},
)
@article(JCG97,
 author       = {Peter Jeavons and David A. Cohen and Marc Gyssens},
 year         = {1997},
 title        = {Closure properties of constraints},
 journal      = {Journal of the ACM},
 volume       = {44},
 number       = {4},
 pages        = {527--548},
 doi          = {10.1145/263867.263489},
)
@article(Kerkhoff-general,
 author       = {Sebastian Kerkhoff},
 year         = {2012},
 title        = {A general {G}alois theory for operations and relations in arbitrary categories},
 journal      = {Algebra Universalis},
 volume       = {68},
 number       = {3},
 pages        = {325--352},
 doi          = {10.1007/s00012-012-0209-9},
)
@article(Kiw01,
 author       = {Krzysztof C. Kiwiel},
 year         = {2001},
 title        = {Convergence and efficiency of subgradient methods for quasiconvex minimization},
 journal      = {Mathematical Programming},
 volume       = {90},
 pages        = {1--25},
 doi          = {10.1007/PL00011414},
)
@misc(KOWZ20,
 author       = {Andrei Krokhin and Opr\v{s}al, Jakub and Marcin Wrochna and \v{Z}ivn\'{y}, Stanislav},
 year         = {2020},
 title        = {Topology and adjunction in promise constraint satisfaction},
 note         = {{arXiv}:2003.11351v2},
)
@article(LRSV18,
 author       = {Philippe Laborie and J\'{e}r\v{o}me Rogerie and Paul Shaw and  and Petr Vil\'{i}m},
 year         = {2018},
 title        = {IBM ILOG CP optimizer for scheduling},
 journal      = {Constraints},
 volume       = {23},
 pages        = {210--250},
 doi          = {10.1007/s10601-018-9281-x},
)
@article(Ladner,
 author       = {Richard E. Ladner},
 year         = {1975},
 title        = {On the structure of polynomial time reducibility},
 journal      = {Journal of the ACM},
 volume       = {22},
 number       = {1},
 pages        = {155--171},
 doi          = {10.1145/321864.321877},
)
@article(Lawvere-metric,
 author       = {F. William Lawvere},
 year         = {1973},
 title        = {Metric spaces, generalized logic, and closed categories},
 journal      = {Rendiconti del seminario mat{\'e}matico e fisico di Milano},
 volume       = {XLIII},
 pages        = {135--166},
 doi          = {10.1007/BF02924844},
 note         = {Also available online in \textsl{Reprints in Theory and Applications of Categories}, No.~1 (2001) pp.~1--37},
)
@misc(Lawvere-state,
 author       = {F. William Lawvere},
 year         = {1984},
 title        = {State categories, closed categories, and the existence of semi-continuous entropy functions},
 note         = {IMA Preprint Series 86},
)
@article(Lev73,
 author       = {Leonid Levin},
 year         = {1973},
 title        = {Universal search problems (in {R}ussian)},
 journal      = {Problemy Peredachi Informatsii},
 volume       = {9},
 number       = {3},
 pages        = {115--116},
)
@article(Mochizuki,
 author       = {Shinichi Mochizuki},
 year         = {2021},
 title        = {{Inter-universal {T}eichm\"uller theory I: construction of {H}odge theaters}},
 journal      = {Publications of the Research Institute for Mathematical Sciences},
 volume       = {57},
 number       = {1},
 pages        = {3--207},
 doi          = {10.4171/PRIMS/57-1-1},
)
@book(Poschel-general,
 author       = {Reinhard P{\"o}schel},
 year         = {1980},
 title        = {{A General {G}alois Theory for Operations and Relations and Concrete Characterization of Related Algebraic Structures}},
 publisher    = {Akademie der Wissenschaften der DDR Zentralinstitut f\"ur Mathematik und Mechanik},
 note         = {Report R-01/80},
)
@article(Rosenthal-free,
 author       = {Kimmo I. Rosenthal},
 year         = {1991},
 title        = {Free quantaloids},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {72},
 number       = {1},
 pages        = {67--82},
 doi          = {10.1016/0022-4049(91)90130-T},
)
@book(Rosenthal-quantaloid,
 author       = {Kimmo I. Rosenthal},
 year         = {1996},
 title        = {The Theory of Quantaloids},
 series       = {Pitman Research Notes in Mathematics Series},
 volume       = {348},
 publisher    = {CRC Press},
)
@book(RvW06,
 editor       = {Francesca Rossi and Peter van Beek and Toby Walsh},
 year         = {2006},
 title        = {Handbook of Constraint Programming},
 publisher    = {Elsevier Science},
 address      = {New York, USA},
)
@inproceedings(Sch78,
 author       = {Thomas J. Schaefer},
 year         = {1978},
 title        = {The complexity of satisfiability problems},
 booktitle    = {Proceedings of the 10th annual ACM Symposium on Theory of Computing},
 pages        = {216--226},
 doi          = {10.1145/800133.804350},
)
@book(Sch98,
 author       = {Alexander Schrijver},
 year         = {1998},
 title        = {Theory of Linear and Integer Programming},
 publisher    = {John Wiley \& Sons},
)
@article(Speyer-Sturmfels,
 author       = {David Speyer and Bernd Sturmfels},
 year         = {2009},
 title        = {Tropical mathematics},
 journal      = {Mathematics Magazine},
 volume       = {82},
 number       = {3},
 pages        = {163--173},
 doi          = {10.1080/0025570X.2009.11953615},
)
@article(Stubbe-quantaloid-dist,
 author       = {Isar Stubbe},
 year         = {2005},
 title        = {Categorical structures enriched in a quantaloid: categories, distributors and functors},
 journal      = {Theory and Applications of Categories},
 volume       = {14},
 number       = {1},
 pages        = {1--45},
)
@book(Tsa93,
 author       = {Edward Tsang},
 year         = {1993},
 title        = {Foundations of Constraint Satisfaction},
 publisher    = {Academic Pr},
 address      = {London and San Diego},
)
@book(Van20,
 author       = {Robert J. Vanderbei},
 year         = {2020},
 title        = {Linear Programming},
 edition      = {5th},
 publisher    = {Springer International Publishing},
 doi          = {10.1007/978-3-030-39415-8},
)
@article(Zhu20,
 author       = {Dmitriy Zhuk},
 year         = {2020},
 title        = {A proof of the {CSP} dichotomy conjecture.},
 journal      = {Journal of the ACM},
 volume       = {30},
 pages        = {1--78},
 doi          = {10.1145/3402029},
)
@book(Ziv12,
 author       = {{\v{Z}}ivn{\'{y}}, Stanislav},
 year         = {2012},
 title        = {The Complexity of Valued Constraint Satisfaction Problems},
 publisher    = {Springer-Verlag Berlin Heidelberg},
 doi          = {10.1007/978-3-642-33974-5},
)