Enhancing CLP branch and bound techniques for scheduling problems

Authors:
F. Bosi;M. Milano
Affiliations:
Univ. di Bologna, Bologna, Italy;Univ. di Bologna, Bologna, Italy
Venue:
Software—Practice & Experience
Year:
2001

Citing 0
Cited 1

Specification and verification of agent interaction using abductive reasoning

CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems

Quantified Score

Hi-index	0.01

Visualization

Abstract