Our Areas

What can we do for you?
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!

How do we do it?

Our Customers

What have we done so far?
Go Back

About Us

What is Barcelogic?
Spin-off of UPC Barcelona Tech

MISSION
We apply our world-class logic-based solvers, as well as other math and constraint-programming-based methods to hard real-world combinatorial optimization problems under the motto "we make efficiency simple for you".

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

  • Problem Analysis

    We crack it down to pieces

  • Problem Formalization

    formulate it unambiguously

  • Efficient Solver Implementation

    program the restrictions

  • Solution Generation

    and obtain a solution

Our Team

Who are we?
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

Contact Us