Victor Lagerkvist

Academic CV.
University page.
My sporadically updated logic programming blog.

news

Nov 11, 2025	New daugther!
Dec 09, 2022	I’m currently looking for a PhD student in complexity, algebra and constraint satisfaction problems. Contact me for additional details.
Mar 26, 2021	My son, Hjalmar, has been born!
Jan 11, 2021	Version 0.1.

latest posts

Jan 16, 2023	Exponential Functions and Scientific Progress
Feb 12, 2021	Introduction to complexity theory

selected publications

The Richness of CSP Non-redundancy

J. Brakensiek, V. Guruswami, B. M. P. Jansen , and 2 more authors

CoRR, 2025

Bib PDF

@article{lagerkvist2025e,
  author = {Brakensiek, J. and Guruswami, V. and Jansen, B. M. P. and Lagerkvist, V. and Wahlstr{\"{o}}m, M.},
  title = {The Richness of {CSP} Non-redundancy},
  journal = {CoRR},
  volume = {abs/2507.07942},
  year = {2025},
  url = {https://doi.org/10.48550/arXiv.2507.07942},
  doi = {10.48550/ARXIV.2507.07942},
  eprinttype = {arXiv},
  eprint = {2507.07942},
  timestamp = {Tue, 12 Aug 2025 21:29:42 +0200},
  biburl = {https://dblp.org/rec/journals/corr/abs-2507-07942.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org},
}