Journal of the Japanese Society for Artificial Intelligence
Online ISSN : 2435-8614
Print ISSN : 2188-2266
Print ISSN:0912-8085 until 2013
Principles of Modern SAT Solvers(<Special Issue>Recent Advances in SAT Techniques)
Hidetomo NABESHIMA, Takehide SOH
Author information
Keywords: SAT solvers, conflict-driven clause learning, watched literals, decision heuristics, restart strategy
MAGAZINE FREE ACCESS

2010 Volume 25 Issue 1 Pages 68-76

Details
Download PDF (1091K)
Download citation RIS

(compatible with EndNote, Reference Manager, ProCite, RefWorks)

BIB TEX

(compatible with BibDesk, LaTeX)

Text
How to download citation
Contact us
Article 1st page
Content from these authors
© 2010 The Japaense Society for Artificial Intelligence
Previous article Next article
Favorites & Alerts

Recently viewed articles
Announcements from publisher
  • Although several articles need the authentication to access their PDF in two years after the day of issue, JSAI individual members could download it for free. If you are the member, please log on My Page for JSAI member to know your ID and password for the authentication. Note that passwords of the two systems are different. Those who are not JSAI member can purchase PDFs at Purchase Form (in Japanese). The paper book or e-book of Kindle for each number are available at Amazon.
Related journals
Transactions of the Japanese Society for Artificial Intelligence
Proceedings of the Annual Conference of JSAI
SIG-SLUD Technical report
SIG-KBS Technical report
SIG-FPAI Technical report
SIG-ALST Technical report
Type 2 SIG Technical report
Share this page
feedback
 Top