Marketa Illetskova

According to our database, Marketa Illetskova authored at least 2 papers between 2017 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

Nested monte carlo search expression discovery for the automated design of fuzzy ART category choice functions.

Marketa Illetskova, Islam El-Nabarawy, Leonardo Enzo Brito da Silva, Daniel R. Tauritz, Donald C. Wunsch II

Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2019

2017

Improving performance of CDCL SAT solvers by automated design of variable selection heuristics.

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

Proceedings of the 2017 IEEE Symposium Series on Computational Intelligence, 2017