New Hybrid Heuristics for Pseudo-Boolean Propagation
Created by
Haebom
Category
Empty
저자
Mia Mu{\ss}ig, Jan Johannsen
개요
이 논문은 유사 부울 대수 문제 해결에 있어서 현재 가장 성공적인 단위 전파 전략인 watched literal 방식과 counting 방식을 결합한 하이브리드 모드에 대한 연구를 다룹니다. 특히, RoundingSAT solver에서 기존 방식보다 훨씬 뛰어난 성능을 보이는 이 하이브리드 결정에 대한 새로운 휴리스틱을 소개합니다.