The Versatility of Handling Disjunctions as Constraints

Authors:
Jean Jourdan;Thierry Sola
Affiliations:
-;-
Venue:
PLILP '93 Proceedings of the 5th International Symposium on Programming Language Implementation and Logic Programming
Year:
1993

Citing 0
Cited 3

Continuous First-Order Constraint Satisfaction

AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Efficient solving of quantified inequality constraints over the real numbers

ACM Transactions on Computational Logic (TOCL)
Executing Suspended Logic Programs

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract