Cs-Lo
ACL2 자동 미분기 구현
무한 상태 시스템 검증을 위한 일반화 전략
숲 논리 프로그램과 f하이브리드 지식베이스의 효율적 추론
간단한 하이퍼바이저 검증을 향하여
타이머 자동자 도달성 문제를 위한 최적 추상화 기법
위상 의미론과 파라콘시스턴스
하이퍼게임 코니웨이 게임의 대수와 코알제브라적 확장
규범 설계의 자동화: 귀납 논리 학습을 통한 반복적 프레임워크 개선
컴퓨팅 가능한 단순 게임의 나카무라 수 연구
타입드 추상 구문을 위한 확장 초기성
논리와 제어를 통한 프로그램 구축과 검증
ACL2 최신 기능 총정리: 3.6‑4.3 버전의 핵심 개선점
가중 카운팅을 위한 비순환 결합 질의 복잡도 분석
동적 조건응답 그래프를 활용한 선언형 이벤트 기반 워크플로우
확률적 논리와 비확률적 논리의 경계: 기술 복잡도 이론에서의 무작위화와 비무작위화
동적 영역을 위한 새로운 논리 프로그래밍 방법 ALP프로로그
AC⁰ 회로 만족도 탐색을 위한 새로운 확률 알고리즘
ACL2 정리 비트 블라스팅 기법
이델타₀의 유한 조각에 대한 헤르브란드 일관성 연구
총 할당 열거에서 현대 SAT 솔버까지: 백트래킹·해결의 진화
저전력 x86 부동소수점 곱셈기 공식 검증: 반복 구조와 중복 피드백의 통합
데드락 탐지 알고리즘의 형식 검증
