research
∙
07/29/2023
Restricted Holant Dichotomy on Domains 3 and 4
Holant^*(f) denotes a class of counting problems specified by a constrai...
share
research
∙
04/27/2023
The Fine-Grained Complexity of Boolean Conjunctive Queries and Sum-Product Problems
We study the fine-grained complexity of evaluating Boolean Conjunctive Q...
research
∙
03/29/2023
Planar 3-way Edge Perfect Matching Leads to A Holant Dichotomy
We prove a complexity dichotomy theorem for a class of Holant problems o...
research
∙
03/05/2023
Properties of Position Matrices and Their Elections
We study the properties of elections that have a given position matrix (...
research
∙
01/13/2022
Certifiable Robustness for Nearest Neighbor Classifiers
ML models are typically trained using large datasets of high quality. Ho...
research
∙
10/04/2021
Bipartite 3-Regular Counting Problems with Mixed Signs
We prove a complexity dichotomy for a class of counting problems express...
research
∙
04/21/2021
A Prioritized Trajectory Planning Algorithm for Connected and Automated Vehicle Mandatory Lane Changes
We introduce a prioritized system-optimal algorithm for mandatory lane c...
research
∙
11/18/2020