Réka Kovács

According to our database, Réka Kovács authored at least 5 papers between 2018 and 2022.

Collaborative distances:

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

2022

On Minimally Non-firm Binary Matrices.

Reka Agnes Kovacs

Proceedings of the Combinatorial Optimization - 7th International Symposium, 2022

2021

Binary Matrix Factorisation and Completion via Integer Programming.

Reka A. Kovacs, Oktay Günlük, Raphael A. Hauser

CoRR, 2021

Binary Matrix Factorisation via Column Generation.

Reka A. Kovacs, Oktay Günlük, Raphael A. Hauser

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2019

Detecting C++ Lifetime Errors with Symbolic Execution.

Réka Kovács, Gábor Horváth, Zoltán Porkoláb

Proceedings of the 9th Balkan Conference on Informatics, 2019

2018

Low-Rank Boolean Matrix Approximation by Integer Programming.

Reka Kovacs, Oktay Günlük, Raphael A. Hauser

CoRR, 2018