研究室 · kenkyūshitsu
솔버 실험실
퍼즐 하나를 자체 CDCL·DPLL 솔버의 여러 모드(분기 휴리스틱, 재시작 정책, 포섭 제거)로 경주시키고 splr과 비교해 보세요.
3 · 결과 結果
총 시간은 인코딩과 풀이 시간의 합이에요. 연결되지 않은 해답은 지연 방식으로 반박되며, 반박할 때마다 SAT 호출이 한 번 더 들어요.
아직 경주 기록이 없어요. 待機中
研究室 · kenkyūshitsu
퍼즐 하나를 자체 CDCL·DPLL 솔버의 여러 모드(분기 휴리스틱, 재시작 정책, 포섭 제거)로 경주시키고 splr과 비교해 보세요.
총 시간은 인코딩과 풀이 시간의 합이에요. 연결되지 않은 해답은 지연 방식으로 반박되며, 반박할 때마다 SAT 호출이 한 번 더 들어요.
아직 경주 기록이 없어요. 待機中