HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:Constraint Logic Programming

Papers
Constraint Problem Specification as Compression
Steven Prestwich, S. Armagan Tarim and Roberto Rossi
In:GCAI 2016. 2nd Global Conference on Artificial Intelligence
Program Verification using Constraint Handling Rules and Array Constraint Generalizations
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio Proietti
In:VPT 2014. Second International Workshop on Verification and Program Transformation
Verification of Imperative Programs through Transformation of Constraint Logic Programs
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio Proietti
In:VPT 2013. First International Workshop on Verification and Program Transformation
Copyright © 2012-2023 easychair.org. All rights reserved.