Victor Lagerkvist

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

news

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 (Coarse) Fine-Grained Structure of NP-Hard SAT and CSP Problems

V. Lagerkvist, and M. Wahlström

ACM Transactions on Computation Theory, 2022

Bib PDF

@article{lagerkvist2022a,
  author = {Lagerkvist, V. and Wahlstr\"{o}m, M.},
  title = {The (Coarse) Fine-Grained Structure of {NP}-Hard {SAT} and {CSP} Problems},
  journal = {ACM Transactions on Computation Theory},
  year = {2022},
  issue_date = {March 2022},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  volume = {14},
  number = {1},
  issn = {1942-3454},
  url = {https://doi.org/10.1145/3492336},
  doi = {10.1145/3492336},
}