Margarita V. Korovina, Nicolai Vorobjov. Satisfiability of Viability Constraints for Pfaffian Dynamics. In Irina Virbitskaite, Andrei Voronkov, editors, Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers. Volume 4378 of Lecture Notes in Computer Science, pages 260-269, Springer, 2006. [doi]
Abstract is missing.