1 |
Heuristic-Based Backtracking for Propositional Satisfiability |
|
A. Bhalla, I. Lynce, J. T. de Sousa and J. Marques-Silva |
2 |
jcc: Integrating Timed Default Concurrent Constraint Programming into JAVA |
|
Vijay Saraswat, Radha Jagadeesan, Vineet Gupta |
3 |
On the BEAM Implementation |
|
Ricardo Lopes, Vitor Santos Costa, Fernando Silva |
4 |
On the Implementation of an ILP System with Prolog |
|
Nuno Fonseca, Fernando Silva, Rui Camacho, Vitor Santos Costa |
5 |
Solving Set Partitioning Problems with Global Constraint Propagation |
|
Ricardo Saldanha and Ernesto Morgado |
6 |
YapDss: an Or-Parallel Prolog System for Scalable Beowulf Clusters |
|
Ricardo Rocha and Fernando Silva and Rolando Martins |