Nils Christian Froleyks

Publication Activity (10 Years)

Years Active: 2017-2019
Publications (10 Years): 2

Top Topics

Selection Algorithm

Quantified Boolean Formulas

Top Venues

Publications

Nils Christian Froleyks, Tomás Balyo, Dominik Schreiber
PASAR - Planning as Satisfiability with Abstraction Refinement. SOCS (2019)
Nils Christian Froleyks, Tomás Balyo
Using an Algorithm Portfolio to Solve Sokoban. SOCS (2017)