A COMPLEXITY DICHOTOMY FOR SATISFIABILITY OVER PARTIAL ORDERS

Michael Kompatschera, Trung Van Phamb

a E185 - Institute of Computer Languages
b Institute of Mathematics, Hanoi, Vietnam

PDF-Abstract