Login / Signup
Ronen Levy
Publication Activity (10 Years)
Years Active: 2011-2020
Publications (10 Years): 1
Top Topics
Upper Bounding
Max Sat
Randomly Generated
Branch And Bound
Top Venues
Bioinform.
</>
Publications
</>
Erfan Sadeqi Azer
,
Farid Rashidi Mehrabadi
,
Salem Malikic
,
Xuan Cindy Li
,
Osnat Bartok
,
Kevin Litchfield
,
Ronen Levy
,
Yardena Samuels
,
Alejandro A. Schäffer
,
E. Michael Gertz
,
Chi-Ping Day
,
Eva Pérez-Guijarro
,
Kerrie Marie
,
Maxwell P. Lee
,
Glenn Merlino
,
Funda Ergün
,
Süleyman Cenk Sahinalp
PhISCS-BnB: a fast branch and bound algorithm for the perfect tumor phylogeny reconstruction problem.
Bioinform.
36 (Supplement-1) (2020)
Allon Adir
,
Ronen Levy
,
Tamer Salman
Dynamic Test Data Generation for Data Intensive Applications.
Haifa Verification Conference
(2011)