Jakob Nordström

Jakob Nordström

University of Copenhagen and Lund University
Verified email at di.ku.dk
Cited by 2205
Computational complexity combinatorial optimization proof logging certifying algorithms
Ciaran McCreesh

Ciaran McCreesh

University of Glasgow
Verified email at glasgow.ac.uk
Cited by 974
Constraint programming subgraph isomorphism proof logging parallel combinatorial optimisation
Andy Oertel

Andy Oertel

Department of Computer Science, Lund University
Verified email at cs.lth.se
Cited by 77
Combinatorial Optimization Proof logging Graph theory
Berhan Oumer Adame

Berhan Oumer Adame

PhD Candidate, AI Lab, Department of Computer Science, Vrije Universiteit Brussel
Verified email at vub.be
Cited by 54
Combinatorial Optimization Artificial Intelligence Proof Logging Logic Telecommunication
Konstantin Sidorov

Konstantin Sidorov

PhD candidate
Verified email at tudelft.nl
combinatorial optimization integer programming proof logging