Solving satisfiability problems by using
β
Takayuki Suyama; Makoto Yokoo; Hiroshi Sawada; Akira Nagoya
π
Article
π
2003
π
John Wiley and Sons
π
English
β 965 KB