Toggle navigation
OKAYAMA UNIVERSITY SCIENTIFIC ACHIEVEMENT REPOSITORY
日本語
OUSAR TOP
|
Okayama University
|
Okayama University Library
Browse
OU Author List
Content Type List
Publisher List
Thesis Type List
Date of Granted List
Thesis Fulltext List
OU Project List
Journal List
List of Seed Image Database
For Author
How to self-arhive your work
About depositing the article for Grants‐in‐aid for Scientific Research
Self-archive your doctoral dissertation in OUSAR
リポジトリへの登録義務化
altmetricsとは
オープンアクセスについて
広報用チラシ
OUSAR Statistics
Links
Links
Journal List
Systems
volume4
--
Systems volume4
download ( 200 items )
jstage(UTF-8)
jstage(shift_jis)
get_pmid_doi(UTF-8)
get_pmid_doi(shift_jis)
pubmed for amo(UTF-8)
pubmed for amo(shift_jis)
全項目(UTF-8)
全項目(shift_jis)
sort
ID (asc)
ID (desc)
updated_at (asc)
updated_at (desc)
Title (asc)
Title (desc)
Published Date (asc)
Published Date (desc)
Grant Number (asc)
Grant Number (desc)
Title (desc)
A minimal-state processing search algorithm for satisfiability problems
Author
Funabiki, Nobuo
|
Yokohira, Tokumi
|
Nakanishi, Toru
|
Tajima, Shigeto
|
Higashino, Teruo
|
Published Date
2001-10
Publication Title
Systems
Volume
volume4
Content Type
Journal Article
