Correctness Considerations in CLP(FD) SystemsIn this thesis, we show examples of common limitations and mistakes of several widely used CLP(FD) systems. We then present a new CLP(FD) system that overcomes some of these issues.Наукові публікації#2013#публікація#Prolog#programming#language#дисертація·up.raindrop.io·Dec 23, 2024Correctness Considerations in CLP(FD) Systems
Наукові публікації