Login / Signup
Felix Kutzner
Publication Activity (10 Years)
Years Active: 2017-2017
Publications (10 Years): 1
Top Topics
Propositional Satisfiability
Search Tree
Evolutionary Algorithm
Sat Solvers
Top Venues
ICTAI
</>
Publications
</>
Markus Iser
,
Felix Kutzner
,
Carsten Sinz
Using Gate Recognition and Random Simulation for Under-Approximation and Optimized Branching in SAT Solvers.
ICTAI
(2017)