Multi-Domain Logic and its Applications to SAT.

Tudor Jebelean, Gbor Kusper

Browse the full SYNASC paper archive.