Login / Signup
Marketa Illetskova
Publication Activity (10 Years)
Years Active: 2017-2019
Publications (10 Years): 2
Top Topics
Propositional Satisfiability
Automated Design
Monte Carlo Search
Sat Solvers
Top Venues
GECCO (Companion)
SSCI
</>
Publications
</>
Marketa Illetskova
,
Islam El-Nabarawy
,
Leonardo Enzo Brito da Silva
,
Daniel R. Tauritz
,
Donald C. Wunsch II
Nested monte carlo search expression discovery for the automated design of fuzzy ART category choice functions.
GECCO (Companion)
(2019)
Marketa Illetskova
,
Alex R. Bertels
,
Joshua M. Tuggle
,
Adam Harter
,
Samuel Richter
,
Daniel R. Tauritz
,
Samuel A. Mulder
,
Denis Bueno
,
Michelle Leger
,
William M. Siever
Improving performance of CDCL SAT solvers by automated design of variable selection heuristics.
SSCI
(2017)