Publications

Extending the Finite Domain Solver of Gnu Prolog

AuthID
P-00G-MQ9

Author(s)

Bloemen, V

Diaz, D

Van Der Bijl, M

Abreu, S

Editor(s)

Stroder,T;Swift,T

Document Type

Proceedings Paper

Year published

2014

Published

in Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, CICLOPS-WLPE 2014

Pages: 47-62

Conference

International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-Based Methods in Programming Environments 2014, Ciclops-Wlpe 2014, Date: 17 July 2014 through 18 July 2014

Indexing