Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

sav08:lecture07 [2008/03/12 21:53]
vkuncak
sav08:lecture07 [2009/04/03 15:47] (current)
vkuncak
Line 22: Line 22:
  
 [[Polynomial Algorithm for Horn Clauses]] and Boolean Constraint Propagation [[Polynomial Algorithm for Horn Clauses]] and Boolean Constraint Propagation
 +
 +[[wp>​Schaefer'​s dichotomy theorem]]
  
 Continued in [[lecture08]]. Continued in [[lecture08]].
 
sav08/lecture07.txt · Last modified: 2009/04/03 15:47 by vkuncak
 
© EPFL 2018 - Legal notice