Nuestras Áreas

¿Qué podemos hacer por ti?
Resource Planning

Software modules, SAAS and consulting for efficiently planning tasks using limited resources (machines and their maintenance, transport, human resources, raw materials, storage), optimizing income and minimizing costs.

Professional Sports Planning

Software modules, SAAS and consulting for designing the best fixtures and sports schedules under sportive, commercial or public-order constraints, maximizing global attractiveness and revenues.

Solver Development

Software modules and SAAS in order to allow our costumers to apply our best solvers for their combinatorial optimization problems: SAT, SMT, 0-1 integer programming, integer programming, etc.

And More!

Do you have a complex scheduling problem? Do you need to take full advantage of your available resources and can’t figure out the best way to do it? Or do you simply have some combinatorial problem that needs to be solved optimally? We are here also for you!

¿Cómo lo hacemos?

Nuestros clientes

¿Qué hemos hecho hasta ahora?
Go Back

About Us

¿Qué es Barcelogic?
Spin-off de UPC Barcelona Tech

MISIÓN
Aplicamos nuestra nueva tecnología de optimización combinatoria premiada mundialmente, así como otros métodos matemáticos y de programación de restricciones, a problemas de optimización combinatoria del mundo real bajo el lema "we make efficiency simple for you".

ORÍGENES
Barcelogic se funda en la primavera de 2010 como spin-off de UPC Barcelona Tech, en Barcelona.

  • Análisis del Problema

    Lo desmenuzamos

  • Formalización del Problema

    lo formulamos de forma inambígua

  • Implementación Eficiente del Solver

    programamos las restricciones

  • Generación de Soluciones

    y obtenemos una solución

Our Team

Robert Nieuwenhuis
Robert Nieuwenhuis
CEO & founder
Robert is a professor of Computer Science at UPC. He is well known for his two decades of research on automated reasoning, constraints, decision procedures and the efficient implementation of logics.

Know more
Enric Rodríguez-Carbonell
Enric Rodríguez-Carbonell
Technical advisor & founder
Enric is associate professor at UPC since 2012. He has worked on applications of linear programming and other techniques of operations research to SMT, being co-author of award-winning tools for SAT and SMT (Barcelogic).

Know more
Albert Oliveras
Albert Oliveras
Technical advisor & founder
Albert, associate professor at UPC, is a well known expert in SAT, Max’SAT and SMT techniques; in particular, he is co-author of DPLL(T) method.

Know more
Ignasi Abio
Ignasi Abio
Research & development
Ignasi is a researcher in optimization and decision science. He got his PhD in combinatorial optimization at the UPC. He worked as a postdoctoral researcher at NICTA, in Australia.

Know more
Ivan Dotu
Ivan Dotu
Technical advisor
Ivan is a visiting researcher at GRIB (Barcelona) and CTO and cofounder of Moirai Biodesign. Ivan is an expert in Applications of Combinatorial Optimization and Computational Biology and more specifically in RNA design.

Know more
Carles Marcet
Carles (MBA, EADA Business School, Barcelona) has over 20 years of experience in leading business positions, such as Director of Systems and Organization, Director of Projects, CEO and Marketing Director.

Know more

Contacto