1

A Relative Value Function Based Learning Beam Search for the Longest Common Subsequence Problem
PDF Cite DOI
A SAT Solver's Opinion on the Erdős-Faber-Lovász Conjecture
PDF Cite DOI
An Evolutionary Approach for Scheduling a Fleet of Shared Electric Vehicles
PDF Cite DOI
Circuit Minimization with Exact Synthesis: From QBF Back to SAT
Cite
Circuit Minimization with QBF-Based Exact Synthesis
PDF Cite Project Project Project DOI
Co-Certificate Learning with SAT Modulo Symmetries
PDF Cite Project Project DOI
Computing twin-width with SAT and branch & bound
PDF Cite Project Project DOI
Consistency Checking Problems: A Gateway to Parameterized Sample Complexity
PDF Cite Project DOI
Crossing Minimization in Time Interval Storylines
PDF Cite Project Project
Deterministic Constrained Multilinear Detection
PDF Cite Project DOI