Media Summary: Romain Wallon (Laboratoire d'informatique de l'École polytechnique) & Daniel Le Berre (Université d'Artois) ... Jakob Nordström (University of Copenhagen & Lund University) ... Jakob Nordstrom (University of Copenhagen & Lund University)
Deep Dive Into Cdcl Pseudo Boolean Solvers Focusing On The Implementation In Sat4j - Detailed Analysis & Overview
Romain Wallon (Laboratoire d'informatique de l'École polytechnique) & Daniel Le Berre (Université d'Artois) ... Jakob Nordström (University of Copenhagen & Lund University) ... Jakob Nordstrom (University of Copenhagen & Lund University) Presentation of CP2020 paper "Using Resolution Proofs Marijn Heule (Carnegie Mellon University), Jakob Nordstrom (University of Copenhagen & Lund University), and Zhiwei Zhang ... Alexander Nadel (Intel) Satisfiability: Theory, Practice, and ...
