function Queens (k: integer) : set(seq(integer))

   where 1 < = k

   returns

     { assign | bijective(assign, {1..k})

               no-two-queens-up-diag(assign)

               no-two-queens-down-diag(assign)

       }

Contents    Page-10    Prev    Next    Page+10    Index