Conference Proceedings

Solving partial order constraints for LPO termination

Michael Codish, Vitaly Lagoon, Peter J Stuckey, F Pfenning

Journal of Satisfiability, Boolean Modeling and Computation, 5:193-215: 2008 | SPRINGER-VERLAG BERLIN | Published : 2006

Citation metrics

17Web of Science
14Scopus

Keywords

Mathematics
Cs.sc
Mathematics, Applied
Physical Sciences
Computer Science
Cs.pl
F.3.1; F.4.1
Cs.lo
Science & Technology
Technology
Computer Science, Theory & Methods