Computer Science > Programming Languages

제목: 재작성 시스템 대결: 확률적 탐색 (Stochastic Search) vs. EqSat

PDF 보기 초록: 등식 포화 (Equality saturation)는 등식 프로그램 최적화 (equational program optimization)를 위한 지배적인 패러다임이 되었습니다. 그러나 여러 접근 방식이 존재함에도 불구하고, 가장 주목할 만한 확률적 탐색 (stochastic search)과 같은 다른 방식과 엄격하게 비교된 적은 없었습니다. 본 논문에서는 e-graph가 실제로 유용한가라는 질문에 답하기 위해, 5개의 벤치마크를 통해 등식 포화 (equality saturation)를 확률적 탐색 (stochastic search)과 비교합니다.

서지 및 인용 도구

이 기사와 관련된 코드, 데이터 및 미디어

데모

추천 및 검색 도구

arXivLabs: 커뮤니티 협력자와 함께하는 실험적 프로젝트

arXivLabs는 협력자들이 우리 웹사이트에서 직접 새로운 arXiv 기능을 개발하고 공유할 수 있도록 지원하는 프레임워크입니다.

arXivLabs와 함께 활동하는 개인 및 조직은 개방성, 커뮤니티, 탁월함, 그리고 사용자 데이터 프라이버시라는 우리의 가치를 수용하고 받아들였습니다. arXiv는 이러한 가치에 전념하며, 이를 준수하는 파트너와만 협력합니다.

arXiv 커뮤니티에 가치를 더할 프로젝트 아이디어가 있습니까? arXivLabs에 대해 자세히 알아보세요.