Tudor Jebelean, Gábor Kusper. Multi-Domain Logic and its Applications to SAT. In Viorel Negru, Tudor Jebelean, Dana Petcu, Daniela Zaharie, editors, SYNASC 2008, 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, Romania, 26-29 September 2008. pages 3-8, IEEE Computer Society, 2008. [doi]
Abstract is missing.