Nai-Wei Lin. Optimizing Logic Programs with Finite Domain Constraints. In María Alpuente, Roberto Barbuti, Isidro Ramos, editors, 1994 Joint Conference on Declarative Programming, GULP-PRODE 94 Peñiscola, Spain, September 19-22, 1994, Volume 1. pages 297-311, 1994.
@inproceedings{Lin94:3,
title = {Optimizing Logic Programs with Finite Domain Constraints},
author = {Nai-Wei Lin},
year = {1994},
tags = {optimization, constraints, logic programming, logic, program optimization},
researchr = {https://researchr.org/publication/Lin94%3A3},
cites = {0},
citedby = {0},
pages = {297-311},
booktitle = {1994 Joint Conference on Declarative Programming, GULP-PRODE 94 Peñiscola, Spain, September 19-22, 1994, Volume 1},
editor = {María Alpuente and Roberto Barbuti and Isidro Ramos},
}