Sciweavers

21 search results - page 5 / 5
» An integer programming approach for frequent itemset hiding
Sort
View
ASPDAC
2005
ACM
117views Hardware» more  ASPDAC 2005»
13 years 10 months ago
Dynamic symmetry-breaking for improved Boolean optimization
With impressive progress in Boolean Satisfiability (SAT) solving and several extensions to pseudo-Boolean (PB) constraints, many applications that use SAT, such as highperformanc...
Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Kare...