A COMPLEXITY DICHOTOMY FOR SATISFIABILITY OVER PARTIAL ORDERS

Michael Kompatscher^a, Trung Van Pham^b

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

PDF-Abstract