Our Areas

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, and minimizing costs.

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 business idea that needs a problem to be solved optimally? We are here also for you!

Our customers

Go Back

About us

Spin-off from UPC Barcelona Tech

MISSION
We apply our world-wide awarded combinatorial optimization technology as well as other mathematical and constraint programming methods to real-world problems with a mission: "we make efficiency simple for you".

ORIGINS Barcelogic was founded spring 2010 as a spin-off company from UPC Barcelona Tech, in Barcelona.

  • Problem Analysis

    into the details

  • Problem formalization

    we express it unambiguously

  • Efficient formulation for the solver

    constraint programming

  • Solution generation

    user-friendly presentation and analysis

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