Art
J-GLOBAL ID：200902230807209571   Reference number：05A0624820

An Improved Exponential-Time Algorithm for k-SAT

k-SAT(k-充足問題)に関する改良型指数-時間アルゴリズム
Author (4)：
PATURI Ramamohan

About PATURI Ramamohan

(Univ. California San Diego, California)

About Univ. California San Diego, California

, 
PUDLAK Pavel

About PUDLAK Pavel

(Mathematical Inst., Acad. Sci., Prague, CZE)

About Mathematical Inst., Acad. Sci., Prague, CZE

, 
SAKS Michael E.

About SAKS Michael E.

(Rutgers Univ., New Jersey)

About Rutgers Univ., New Jersey

, 
ZANE Francis

About ZANE Francis

(Lucent Technol.)

About Lucent Technol.


Material：
Journal of the ACM (Association for Computing Machinery)  (J ACM (Assoc Comput Mach))

About Journal of the ACM (Association for Computing Machinery)


Volume： 52  Issue： 3  Page： 337-364  Publication year： May. 2005 
JST Material Number： C0267A  ISSN： 0004-5411  Document type： Article
Article type： 原著論文  Country of issue： United States (USA)  Language： ENGLISH (EN)
Thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
Boolean function

About Boolean function

,...
Semi thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
充足問題

About 充足問題


   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=05A0624820&from=J-GLOBAL&jstjournalNo=C0267A") }}
JST classification (1)：
JST classification
Category name(code) classified by JST.
Numerical computation 
(JE02000J)

About Numerical computation

Terms in the title (4)：
Terms in the title
Keywords automatically extracted from the title.
SAT

About SAT

, 
充足問題

About 充足問題

, 
指数

About 指数

, 
アルゴリズム

About アルゴリズム


Return to Previous Page

TOP

BOTTOM