Dealing with Satisfiability and n-ary CSPs in a Logical Framework
Belaïd Benhamou, Lionel Paris, Pierre SiegelVolume:
48
Language:
english
Pages:
27
DOI:
10.1007/s10817-010-9204-z
Date:
March, 2012
File:
PDF, 471 KB
english, 2012