Cs-Lo
트리폭 파라미터화 문제의 단일 지수 시간 해결을 위한 존재‑계산 모달 논리
불리언 등가 전파를 이용한 최적 SAT 인코딩
시간 제한 하이브리드 자동자 도달성 분석
도메인 특화 휴리스틱으로 DPLL 솔버 성능 향상
분기 재귀 연산의 새로운 형태와 기존 연산의 동등성 증명
피투피 데이터 통합을 위한 강도·완전성 보장 인텐셔널 논리 프레임워크
내포적 1차 논리와 두 단계 의미론
플레이스·트랜지션 시스템을 위한 추상 프로세스 이론
다값 모달 논리의 새로운 표현 정리와 자동참조 Kripke 의미론
인과관계와 프로비넌스 의미론 구조적 모델을 통한 그래프 해석
FFT 알고리즘 최적화와 부울 SAT 기반 최소 연산 탐색
퍼지 ASP를 퍼지 논리 모델 찾기로 변환
불리언 카디널리티 제약의 CNF 인코딩과 그 확장
포스트 격자에서 본 명제형 귀납 추론 복잡도 전전
답변 집합 프로그래밍을 활용한 자동 음악 작곡
의존 레코드 타입을 위한 타입드 운영 의미론의 메타이론적 분석
헤르브란 일관성으로 본 제한 산술의 구분
스텝 인덱스 없는 논리 관계를 위한 LSLR
차이를 통해 흐름을 탐구한다
시스템 통합을 위한 MMT 기반 이론 변환 프레임워크
직관적 선형 논리의 세 가지 함수적 해석과 그 의미론적 연결
정규화 코알지브라로 보는 상징적·비동기 의미론
