다항식 불일치가 역다항식 크기인 모든 두 함수 f, g에 대해 새로운 리프팅 정리를 증명했다. 이는 기존의 불일치에 대한 직접합 정리를 크게 일반화하고, 리프팅 정리가 성립하는 내부 함수 g의 범위를 확장했다.
범용 지수 시간 알고리즘은 거의 최대 크기의 회로를 필요로 한다. 이는 단일 값 FS2P 알고리즘을 통해 증명되었다.
이 연구는 복잡가중치 비순환 제약만족 문제(#ACSPs)의 복잡도를 분류한다. XOR 제약이 자유롭게 사용되는 경우와 그렇지 않은 경우에 대해 각각 완전한 이분법 및 삼분법 분류를 제시한다.