불린논리 기반 데이터분석이산-조합최적화 기계학습 방법론하이퍼그래프 이론부분-교차 하이퍼그래프 및 하이퍼Boolean Logical Data AnalysisDiscrete-Combinatorial Optimization for Machine LearningHypergraph TheorySub-Intersection-Hypergraph and Hypergraph DecompositionTheory of Strong Valid Inequalities and LiftingPolyhedral Convexification and 0-1 Multilinea