"On the system of two all_different predicates."

Gautam Appa, Dimitris Magos, Ioannis Mourtos (2005)

Details and statistics

DOI: 10.1016/J.IPL.2005.01.009

access: closed

type: Journal Article

metadata version: 2020-12-29

a service of  Schloss Dagstuhl - Leibniz Center for Informatics