스트림라이너 제약 조건은 조합 문제의 탐색 공간을 줄여 해 공간의 일부를 배제합니다. Constraint Programming에 사용되는 LLM 기반 스트림라이너 생성 방법인 StreamLLM 접근 방식을 응답 집합 프로그래밍(ASP)에 적용했어요. 세 가지 ASP Competition 벤치마크에서 VBE는 원래 인코딩보다 최대 4~5배 빠른 속도를 달성했어요.