Magnus Wahlström

Algorithms, measures and upper bounds for satisfiability and related problems.
. Linköping University, Sweden, (2007)base-search.net (ftlinkoepinguniv:oai:DiVA.org:liu-8714).
  •  Doctoral advisor:
  •  First reviewer:
more

No resources found