Skip to content

1 paper indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

2013

The Satisfiability Problem

This book explains how algorithms work, for example, by exploiting the structure of the SAT problem with an appropriate logical calculus, like resolution, but also algorithms based on “physical” principles are considered.

Uwe Schöning, J. Torán · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.