Niklas Een

Interpolants in two-player games

Leonid Ryzhyk, Niklas Een, Alexander Legg, 2014 .

Magic: An Industrial-Strength Logic Optimization, Technology Mapping, and Formal Verification Tool

Robert K. Brayton, Niklas Een, Alan Mishchenko, 2010 .

Interpolants in Two-Player Games [Abstract]

Leonid Ryzhyk, Niklas Een, Alexander Legg, 2014 .

MiniSat v1.13 - A SAT Solver with Conflict-Clause Minimization

Niklas Een, Niklas Sörensson, N. Eén, 2005 .

A Toolbox for Counter-Example Analysis and Optimization

Niklas Een, Alan Mishchenko, Robert Brayton, 2012 .