Mark Liffiton

Mark Liffiton

Illinois Wesleyan University
在 iwu.edu 的电子邮件经过验证
被引用次数：2289
Infeasibility Analysis Constraint Programming Artificial Intelligence
Paula Amaral

Paula Amaral

FCT NOVA and CMA
在 fct.unl.pt 的电子邮件经过验证
被引用次数：262
Continuous Optimization Conic Optimization Infeasibility Analysis Timetabling SVM
Jaroslav Bendík

Jaroslav Bendík

Senior Researcher, Certora Ltd.
在 certora.com 的电子邮件经过验证
被引用次数：227
formal verification constraint programming infeasibility analysis