Will Klieber

Publication Activity (10 Years)

Years Active: 2014-2016
Publications (10 Years): 2

Top Topics

Rapid Development

Quantified Boolean Formulae

Equilibrium Strategies

Top Venues

J. Satisf. Boolean Model. Comput.

AAAI Workshop: Beyond NP

Publications

Julien Delange, Min-Young Nam, Peter H. Feiler, Will Klieber
An Architecture-Centric Process for MILS Development. MILS@HiPEAC (2016)
Charles Jordan, Will Klieber, Martina Seidl
Non-CNF QBF Solving with QCIR. AAAI Workshop: Beyond NP (2016)
Mikolas Janota, Charles Jordan, Will Klieber, Florian Lonsing, Martina Seidl, Allen Van Gelder
The QBFGallery 2014: The QBF Competition at the FLoC Olympic Games. J. Satisf. Boolean Model. Comput. 9 (1) (2014)