Video recording
Session title:
Constraints: satisfiability
Session chair:
Abdul Sattar
Talks
Minimum Satisfiability and its ApplicationsChumin Li, Zhu Zhu, Felip Manya and Laurent Simon
Read-Once Resolution for Unsatisfiability-Based Max-SAT AlgorithmsFederico Heras and Joao Marques-Silva
 
Video
 
Video also available for download here. We recommend VLC for playing