SAT-Physical Thermodynamic Framework: 제약 조건을 열역학 시스템으로 다루기

SAT-Physical Thermodynamic Framework: treating constraints as a thermal system