Login / Signup
Robinson Duque
ORCID
Publication Activity (10 Years)
Years Active: 2016-2018
Publications (10 Years): 4
Top Topics
Sat Instances
Constraint Programming
Combinatorial Problems
Boolean Satisfiability
Top Venues
Constraints An Int. J.
LOD
CP
LION
</>
Publications
</>
Robinson Duque
,
Alejandro Arbelaez
,
Juan Francisco Díaz
Processing Online SAT Instances with Waiting Time Constraints and Completion Weights.
LOD
(2018)
Robinson Duque
,
Alejandro Arbelaez
,
Juan Francisco Díaz
Online over time processing of combinatorial problems.
Constraints An Int. J.
23 (3) (2018)
Robinson Duque
,
Juan Francisco Díaz
,
Alejandro Arbelaez
SABIO: An Implementation of MIP and CP for Interactive Soccer Queries.
CP
(2016)
Robinson Duque
,
Juan Francisco Díaz
,
Alejandro Arbelaez
Constraint Programming and Machine Learning for Interactive Soccer Analysis.
LION
(2016)