?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.au=Ogawa%2C+Mizuhito&rft.aulast=Ogawa&rft.aufirst=Mizuhito&rft.date=2013&rft.title=SAT+and+SMT%3A+Their+algorithm+Designs+and+Applications&rft.genre=proceeding