Follow
Biman Roy
Biman Roy
PhD, Linköping University
No verified email
Title
Cited by
Cited by
Year
Time complexity of constraint satisfaction via universal algebra
P Jonsson, V Lagerkvist, B Roy
arXiv preprint arXiv:1706.05902, 2017
82017
A Dichotomy Theorem for the Inverse Satisfiability Problem
V Lagerkvist, B Roy
37th IARCS Annual Conference on Foundations of Software Technology and …, 2018
72018
A Preliminary Investigation of Satisfiability Problems Not Harder than 1-in-3-SAT
V Lagerkvist, B Roy
41st International Symposium on Mathematical Foundations of Computer Science …, 2016
72016
The system can't perform the operation now. Try again later.
Articles 1–3