1

Merging Quality Estimation for Binary Decision Diagrams with Binary Classifiers
PDF Cite
Multi-linear Strategy Extraction for QBF Expansion Proofs via Local Soundness
Cite Project
On Solving a Generalized Constrained Longest Common Subsequence Problem
PDF Cite DOI
On the Parameterized Complexity of Clustering Incomplete Data into Subspaces of Small Rank
PDF Cite Project Project Project
On the Use of Decision Diagrams for Finding Repetition-Free Longest Common Subsequences
Cite DOI
Short Q-Resolution Proofs with Homomorphisms
PDF Cite Project Project Project
Solving the Steiner Tree Problem with few Terminals
Cite
Stable Matchings with Diversity Constraints: Affirmative Action is beyond NP
PDF Cite Project
String Factorizations Under Various Collision Constraints
PDF Cite DOI
Strong (D)QBF Dependency Schemes via Tautology-free Resolution Paths
PDF Cite