Sciweavers

116 search results - page 2 / 24
» dac 2003
Sort
View
81
Voted
DAC
2003
ACM
16 years 5 months ago
A fast pseudo-boolean constraint solver
Donald Chai, Andreas Kuehlmann