Parametric integer programming 论文

1988RAIRO - Operations Research引用 376

Constraint Satisfaction and OptimizationLogic, programming, and type systemsFormal Methods in Verification

Logic, programming, and type systems Formal Methods in Verification Constraint Satisfaction and Optimization

相关技术:Formal Methods in Verification Constraint Satisfaction and Optimization

1

作者

2

相关技术

0

相关事件

0

相关文章

摘要

avec les conditions gnrales d'utilisation (http://www.numdam.

作者查看全部 (1)

Paul Feautrier

相关技术查看全部 (2)

Formal Methods in Verification Constraint Satisfaction and Optimization

相关事件

暂无数据

相关文章

暂无数据