The big deal: applying constraint satisfaction technologies where it makes the difference

Authors:
Yehuda Naveh
Affiliations:
IBM Research – Haifa, Haifa University Campus, Haifa, Israel
Venue:
SAT'10 Proceedings of the 13th international conference on Theory and Applications of Satisfiability Testing
Year:
2010

Citing 3
Cited 0

Symbolic model checking using SAT procedures instead of BDDs

Proceedings of the 36th annual ACM/IEEE Design Automation Conference
Workforce optimization: identification and assignment of professional workers using constraint programming

IBM Journal of Research and Development - Business optimization
Generalizing alldifferent: the somedifferent constraint

CP'06 Proceedings of the 12th international conference on Principles and Practice of Constraint Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

In my talk, I will present a few industrial-scale applications of satisfaction technology (constraint programming and satisfiability), all of which are of prime importance to the respective business. The talk will focus on high-end solutions to unique but immense problems. This, as opposed to off-the-shelf solutions which are suitable for more commoditized problems. I argue that the former case is where cutting-edge satisfaction technology can bring the most significant impact. The following is an extended abstract of my talk.