Computer assisted proof of optimal approximability results
SODA '02 Proceedings of the thirteenth annual ACM-SIAM symposium on Discrete algorithms
Approximation Techniques for Non-linear Problems with Continuum of Solutions
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
Search Techniques for Non-linear Constraint Satisfaction Problems with Inequalities
AI '01 Proceedings of the 14th Biennial Conference of the Canadian Society on Computational Studies of Intelligence: Advances in Artificial Intelligence
Local consistency for extended CSPs
Theoretical Computer Science
Hybrid algorithms in constraint programming
CSCLP'06 Proceedings of the constraint solving and contraint logic programming 11th annual ERCIM international conference on Recent advances in constraints
Constraint propagation on quadratic constraints
Constraints
Hi-index | 0.00 |