본 논문은 여러 개의 비동형 상자로 접을 수 있는 폴리오미노를 찾고 열거하는 문제를 다룬다. 기존의 SAT, 랜덤 알고리즘, 의사결정 다이어그램 기반 접근법들은 대규모 계산에 어려움을 겪었다. 본 논문은 기존 SAT 인코딩이 전역 제약 조건(예: 그래프 연결성 또는 비순환성)으로 인해 효율적인 인코딩 및 솔버의 추론에 어려움을 겪는다는 점을 지적한다. 따라서 전역 제약 조건을 전파 특성이 훨씬 우수한 간단한 지역 제약 조건으로 대체하는 새로운 SAT 기반 접근법을 제시한다. 이 접근법은 공통 상자 전개를 계산하고 열거하는 확장성을 크게 향상시켜, 기존 접근법이 면적 88까지 두 상자의 공통 전개만 찾을 수 있었던 반면, 본 논문의 접근법은 150 이상으로 쉽게 확장되며, 기존 접근법이 면적 30까지의 공통 전개만 열거할 수 있었던 반면, 본 논문의 접근법은 60까지 확장된다. 이를 통해 Xu et al. (2017)의 세 상자의 공통 전개를 허용하는 가장 작은 면적에 대한 추측을 반박하며, 46, 54, 58이 세 상자의 공통 전개를 허용하는 가장 작은 면적이 아님을 밝힌다.
