Journal of the Japanese Society for Artificial Intelligence
Online ISSN : 2435-8614
Print ISSN : 2188-2266
Print ISSN:0912-8085 until 2013
Constraint Optimization Problems and SAT Encodings(<Special Issue>Recent Advances in SAT Techniques)
Naoyuki TAMURATomoya TANJOMutsunori BANBARA
Author information
MAGAZINE FREE ACCESS

2010 Volume 25 Issue 1 Pages 77-85

Details
Article 1st page
Content from these authors
© 2010 The Japaense Society for Artificial Intelligence
Previous article Next article
feedback
Top