chrjabs

Follow

Christoph Jabs chrjabs

Follow

Doctoral Researcher in computer science at the University of Helsinki. Researching declarative (multi-objective) NP-hard optimization.

11 followers · 3 following

Achievements

Achievements

Highlights

Pro

chrjabs/README.md

Christoph Jabs

Doctoral Researcher in computer science at the University of Helsinki. Researching declarative (multi-objective) NP-hard optimization in the Constraint Reasoning and Optimization research group supervised by Matti Järvisalo and Jeremias Berg. Originally from Germany.

More information, and probably more up to date on my webpage.

Pinned Loading

rustsat rustsat Public

This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solving. The focus of the library is to provide as much ease of u…

Rust 60 13
scuttle scuttle Public archive

Multi-objective MaxSAT solver written in Rust

Rust 7 1
Grape-Academic-Theme Grape-Academic-Theme Public

Forked from naye0ng/Grape-Theme

🍇 Grape-Academic-Theme: A modified version of the Jekyll Grape-Theme for an academic Portfolio. (Can include a blog)

SCSS 46 62
nix-config nix-config Public archive

--- Migrated to Codeberg --- Nix configuration for my personal machines.

Nix
nur-packages nur-packages Public

Nix user repository packages: Mainly projects I need for my research and other niche things.

Nix