research
∙
05/19/2023
Evolutionary Diversity Optimisation in Constructing Satisfying Assignments
Computing diverse solutions for a given problem, in particular evolution...
share
research
∙
04/15/2020
The Impact of Heterogeneity and Geometry on the Proof Complexity of Random Satisfiability
Satisfiability is considered the canonical NP-complete problem and is us...
research
∙
04/03/2019
The Satisfiability Threshold for Non-Uniform Random 2-SAT
Propositional satisfiability (SAT) is one of the most fundamental proble...
research
∙
11/13/2018