@Article{,
 author = {A. Jakubski, A. Sadowski},
 title = {Testing satisfiability of logical formulas based on FPGA},
 journal = {Metody Informatyki Stosowanej},
 year = {2011},
 volume = {28},
 number = {3},
 pages = {1--6}
 }