부분 결과서지만 확인
Learning Algorithms from Natural ProofsM. L. Carmosino, R. Impagliazzo, V. Kabanets, A. Kolokolova · 2016CCC 2016 (31st Conference on Computational Complexity), LIPIcs 50, 10:1–10:24쪽회로 클래스에 대한 자연 증명이 있으면 그 클래스를 배우는 학습 알고리즘이 나옴을 보인 논문이다. 자연 증명과 최소 회로 크기 문제의 연결을 뒤집어 쓴 결과로, 2-3 의 메타복잡도 글이 인용한다. 학회 논문집(LIPIcs) 페이지로 연결된다.
확인:학회 논문집 페이지의 초록까지 확인. 본문을 읽었다는 기록은 없음.원문 주소 (drops.dagstuhl.de)이 카드를 붙인 자료 1