Improving PARMA trailing

DOI10.1017/S1471068405002620zbMath1108.68029OpenAlexW2002088369MaRDI QIDQ3422415

Maria Garcia de la Banda, Peter J. Stuckey, Tom Schrijvers, Bart Demoen

Publication date: 13 February 2007

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1471068405002620

zbMATH Keywords

program analysisconstraint logic programming

Mathematics Subject Classification ID

Logic programming (68N17)

This page was built for publication: Improving PARMA trailing