Changeset 94
- Timestamp:
 - Apr 10, 2012, 4:45:00 PM (14 years ago)
 - File:
 - 
          
- 1 edited
 
- 
          papers/FDL2012/ordering_filter_properties.tex (modified) (1 diff)
 
 
Legend:
- Unmodified
 - Added
 - Removed
 
- 
        
papers/FDL2012/ordering_filter_properties.tex
r93 r94 27 27 whereas variables which do not interfere with a primary variable are weighted 0. 28 28 Here is how we proceed: 29 \vspace*{-5mm}29 %\vspace*{-3mm} 30 30 \begin{enumerate} 31 31 \itemsep -0.3em  
Note: See TracChangeset
          for help on using the changeset viewer.
      ![(please configure the [header_logo] section in trac.ini)](/trac/verif_tools/chrome/site/your_project_logo.png)