Login / Signup
Victor Reyes
Publication Activity (10 Years)
Years Active: 2015-2023
Publications (10 Years): 2
Top Topics
Constraint Solvers
Backtracking Search
Solving Constraint Satisfaction Problems
Interesting Patterns
Top Venues
Biosyst.
DATE
CP
</>
Publications
</>
George Golovko
,
Kamil Khanipov
,
Victor Reyes
,
Irina Pinchuk
,
Yuriy Fofanov
Identification of multivariable Boolean patterns in microbiome and microbial gene composition data.
Biosyst.
233 (2023)
Simon Rohou
,
Abderahmane Bedouhene
,
Gilles Chabert
,
Alexandre Goldsztejn
,
Luc Jaulin
,
Bertrand Neveu
,
Victor Reyes
,
Gilles Trombettoni
Towards a Generic Interval Solver for Differential-Algebraic CSP.
CP
(2020)
Jerónimo Castrillón
,
Lothar Thiele
,
Lars Schor
,
Weihua Sheng
,
Ben H. H. Juurlink
,
Mauricio Alvarez Mesa
,
Angela Pohl
,
Ralph Jessenberger
,
Victor Reyes
,
Rainer Leupers
Multi/many-core programming: where are we standing?
DATE
(2015)