image/svg+xml PhD Direction Solving ProblemsbySearching for Truth From the CSP to SAT via constraint encodings Setting the scene SAT solvers SAT encodings Machine Learning 2 1--2 1--3 2--3 2--4 2--5 3--5 3--6 4--5 4--7 4--8 5--6 5--8 5--9 6--9 6--10 7--8 8--9 8--11 9--10 9--11 1 3 4 5 6 7 8 9 10 11 12 9--12 11--12 Your challenge:Write the numbers 1 to 12 into the baubles, ensuring that:each number is used exactly once,no two adjacent baubles (nodes) have consecutive numbers, andthe three numbers in any clique add up to no more than 20. 2 1--2 1--3 2--3 2--4 2--5 3--5 3--6 4--5 4--7 4--8 5--6 5--8 5--9 6--9 6--10 7--8 8--9 8--11 9--10 9--11 1 3 4 5 6 7 8 9 10 11 12 9--12 11--12 2 1--2 1--3 2--3 2--4 2--5 3--5 3--6 4--5 4--7 4--8 5--6 5--8 5--9 6--9 6--10 7--8 8--9 8--11 9--10 9--11 1 3 4 5 6 7 8 9 10 11 12 9--12 11--12 e. g... the Pseudo-Boolean constraint first, one step back to cardinality ” %3 1 4 2 7 1--2 3 9 1--3 2--3 4 10 2--4 5 1 2--5 3--5 6 5 3--6 4--5 7 2 4--7 8 8 4--8 5--6 5--8 9 3 5--9 6--9 10 12 6--10 7--8 8--9 11 6 8--11 9--10 9--11 12 11 9--12 11--12 Thank you for listening.Script and references athttps://felixvuo.github.io “
1
  1. Starting Title
  2. Everything
  3. Setting the Scene
  4. Felix ca 1998
  5. Literature
  6. Hands-on (tree problem)
  7. CSP in real life (scheduling)
  8. CSP in real life (MRCSP)
  9. CSP in real life (Bayesian net)
  10. CSP in real life (Master key lock)
  11. Formal def 1
  12. Formal def 2
  13. Pipeline
  14. Savile Row intro
  15. EssencePrime treeprob1
  16. EssencePrime treeprob 2
  17. Everything (intro done.)
  18. SAT Solvers
  19. SAT competitions
  20. The SAT problem
  21. DPLL rules
  22. DPLL example 1
  23. DPLL example 2
  24. DPLL vs CDCL
  25. GRASP implication graph
  26. SAT solvers done (UP vital)
  27. SAT Encodings
  28. Naive rules
  29. Tseitin
  30. Constraint encodings
  31. The PB constraint
  32. Totalizer
  33. Generalized Totalizer
  34. GGT
  35. Propagability quote
  36. SAT encodings done
  37. Machine Learning
  38. Algorithm selection
  39. SATZilla
  40. Hurley Proteus
  41. CrystalBall
  42. Machine Learning
  43. Everything so far
  44. PhD Direction
  45. Everything
  46. Thank you
  47. Solution
  48. Everything