Sciweavers

2543 search results - page 15 / 509
» Optimal Ordered Problem Solver
Sort
View
ATAL
2010
Springer
13 years 8 months ago
Male optimality and uniqueness in stable marriage problems with partial orders
Mirco Gelain, Maria Silvia Pini, Francesca Rossi, ...
SIGMOD
2012
ACM
222views Database» more  SIGMOD 2012»
11 years 10 months ago
Tiresias: a demonstration of how-to queries
In this demo, we will present Tiresias, the first how-to query engine. How-to queries represent fundamental data analysis questions of the form: “How should the input change in...
Alexandra Meliou, Yisong Song, Dan Suciu
HEURISTICS
2008
136views more  HEURISTICS 2008»
13 years 6 months ago
Enhancing set constraint solvers with lexicographic bounds
Since their beginning in constraint programming, set solvers have been applied to a wide range of combinatorial search problems, such as bin-packing, set partitioning, circuit desi...
Andrew Sadler, Carmen Gervet
ECAI
2006
Springer
13 years 11 months ago
Minion: A Fast Scalable Constraint Solver
Abstract. We present Minion, a new constraint solver. Empirical results on standard benchmarks show orders of magnitude performance gains over state-of-the-art constraint toolkits....
Ian P. Gent, Christopher Jefferson, Ian Miguel