41 search results - page 4 / 9 » A fast pseudo-boolean constraint solver |
DAC
2003
ACM
14 years 10 months ago
2003
ACM
ECAI
2006
Springer
14 years 1 months ago
2006
Springer
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....
JAIR
2010
13 years 8 months ago
2010
Binary Decision Diagram (BDD) based set bounds propagation is a powerful approach to solving set-constraint satisfaction problems. However, prior BDD based techniques incur the si...
HAPTICS
2007
IEEE
14 years 4 months ago
2007
IEEE
Volume haptics has shown itself an effective way of enhancing precision and speed in interaction with medical or scientific visualization. This paper presents a mixed solver appr...
ICML
2008
IEEE
14 years 10 months ago
2008
IEEE
In this paper we study how to improve nearest neighbor classification by learning a Mahalanobis distance metric. We build on a recently proposed framework for distance metric lear...