Towards Cross-fertilization Between Propositional Satisfiability and Data Mining

Channel:
Microsoft Research
Subscribers:
344,000
Published on ● Video Link: https://www.youtube.com/watch?v=ITvPHOp1Pwc


Duration: 59:23
66 views
0

In this talk, we overview our contribution to data mining and more generally to the cross-fertilization between data mining and propositional satisfiability (http://www.cril.univ-artois.fr/decMining/). We will focus on two contributions. First, we show how propositional satisfiability can be used to model and solve problems in data mining. As an illustration, we present a SAT-based declarative approach for enumerating top-k (closed, frequent) itemsets in transactional databases. Secondly, we discuss the potential contribution of data mining to propositional satisfiability. In this context, we present a first application of data mining to compress Boolean formulas conjunctive normal form.



Other Videos By Microsoft Research


2016-06-13Symposium: Brains, Minds and Machines - Joshua Tenenbaum
2016-06-13DNA Strand Displacement
2016-06-13Outatime: Using Speculation to Enable Low-Latency Continuous Interaction for Mobile Cloud Gaming
2016-06-13Provable Algorithms for Learning Neural Networks
2016-06-13Modern Deep Learning through Bayesian Eyes
2016-06-13Towards Understandable Neural Networks for High Level AI Tasks; Part 2
2016-06-13Towards Understandable Neural Networks for High Level AI Tasks - Part 4
2016-06-13What are the prospects for automatic theorem proving?
2016-06-13Towards Understandable Neural Networks for High Level AI Tasks - Part 3
2016-06-13Artist in Residence (formerly Studio99) Presents: Michael Gough and "Drawing as Literacy."
2016-06-13Towards Cross-fertilization Between Propositional Satisfiability and Data Mining
2016-06-13Making Objects Count: A Shape Analysis Framework for Proving Polynomial Time Termination
2016-06-13Human factors of software updates
2016-06-13Machine-Checked Correctness and Complexity of a Union-Find Implementation
2016-06-13Applications of 3-Dimensional Spherical Transforms to Acoustics and Personalization of Head-related
2016-06-13Network Protocols: Myths, Missteps, and Mysteries
2016-06-13Optimal and Adaptive Online Learning
2016-06-13Speaker Diarization: Optimal Clustering and Learning Speaker Embeddings
2016-06-13Multi-rate neural networks for efficient acoustic modeling
2016-06-13Unsupervised Latent Faults Detection in Data Centers
2016-06-13System and Toolchain Support for Reliable Intermittent Computing


Tags:
microsoft research
data mining
propositional satisfiability
data visualization
analytics and platform