\setlength{\unitlength}{0.012500in}%
%
\begingroup\makeatletter\ifx\SetFigFont\undefined
% extract first six characters in \fmtname
\def\x#1#2#3#4#5#6#7\relax{\def\x{#1#2#3#4#5#6}}%
\expandafter\x\fmtname xxxxxx\relax \def\y{splain}%
\ifx\x\y   % LaTeX or SliTeX?
\gdef\SetFigFont#1#2#3{%
  \ifnum #1<17\tiny\else \ifnum #1<20\small\else
  \ifnum #1<24\normalsize\else \ifnum #1<29\large\else
  \ifnum #1<34\Large\else \ifnum #1<41\LARGE\else
     \huge\fi\fi\fi\fi\fi\fi
  \csname #3\endcsname}%
\else
\gdef\SetFigFont#1#2#3{\begingroup
  \count@#1\relax \ifnum 25<\count@\count@25\fi
  \def\x{\endgroup\@setsize\SetFigFont{#2pt}}%
  \expandafter\x
    \csname \romannumeral\the\count@ pt\expandafter\endcsname
    \csname @\romannumeral\the\count@ pt\endcsname
  \csname #3\endcsname}%
\fi
\fi\endgroup
\begin{picture}(440,516)(90,283)
\thicklines
\put(435,560){\line( 5,-4){ 94.512}}
\put(330,560){\line(-6,-5){ 97.869}}
\put(235,475){\line( 0, 1){  0}}
\put(285,780){\makebox(0,0)[lb]{\smash{\SetFigFont{14}{16.8}{sf}min    3x\_1  +  4x\_2   +  2x\_3}}}
\put(315,695){\makebox(0,0)[lb]{\smash{\SetFigFont{14}{16.8}{sf}   value of  relaxation  = 0 }}}
\put(310,665){\makebox(0,0)[lb]{\smash{\SetFigFont{14}{16.8}{sf}    (x\_1, x\_2, x\_3) =  (0, 0, 0)}}}
\put(310,635){\makebox(0,0)[lb]{\smash{\SetFigFont{14}{16.8}{sf}  generate  separating  cuts:}}}
\put(230,525){\makebox(0,0)[lb]{\smash{\SetFigFont{14}{16.8}{sf}x\_1 = 0}}}
\put(495,530){\makebox(0,0)[lb]{\smash{\SetFigFont{14}{16.8}{sf}x\_1 = 1}}}
\put(155,306){\makebox(0,0)[lb]{\smash{\SetFigFont{14}{16.8}{sf}solution feasible.                                              No more branching}}}
\put(155,283){\makebox(0,0)[lb]{\smash{\SetFigFont{14}{16.8}{sf}  Backtrack.                                                               needed.}}}
\put( 90,450){\makebox(0,0)[lb]{\smash{\SetFigFont{14}{16.8}{sf}Apply  forward chaining (or unit resolution):       }}}
\put(455,450){\makebox(0,0)[lb]{\smash{\SetFigFont{14}{16.8}{sf}Apply  forward chaining (or unit resolution):       }}}
\put(335,605){\makebox(0,0)[lb]{\smash{\SetFigFont{14}{16.8}{sf}x\_1  V  x\_3}}}
\put(335,575){\makebox(0,0)[lb]{\smash{\SetFigFont{14}{16.8}{sf}x\_2  V  x\_3}}}
\put(160,395){\makebox(0,0)[lb]{\smash{\SetFigFont{14}{16.8}{sf}no clauses remain.                                       simplified problem is}}}
\put(145,375){\makebox(0,0)[lb]{\smash{\SetFigFont{14}{16.8}{sf}Relaxation = 2                                                              x\_2   V  x\_3}}}
\put(145,352){\makebox(0,0)[lb]{\smash{\SetFigFont{14}{16.8}{sf}  x =  (0, 0, 1)                                                      Relaxation  =  5}}}
\put(155,329){\makebox(0,0)[lb]{\smash{\SetFigFont{14}{16.8}{sf}No separating cuts;                                        Since  5 > 2,  backtrack .}}}
\put(285,755){\makebox(0,0)[lb]{\smash{\SetFigFont{14}{16.8}{sf}s.t.     2x\_1  -  x\_2     +  x\_3  >=  1}}}
\put(280,730){\makebox(0,0)[lb]{\smash{\SetFigFont{14}{16.8}{sf}          - x\_1  +  3 x\_2  + 5 x\_3  >=  3}}}
\put(155,425){\makebox(0,0)[lb]{\smash{\SetFigFont{14}{16.8}{sf}x\_3   fixed to 1;                                                        no variables fixed,}}}
\end{picture}
