Art
J-GLOBAL ID：200902189673139016   Reference number：97A0938479

Tabu Search for SAT.

SAT(充足可能性問題)のためのタブー探索
Author (3)：
MAZURE B

About MAZURE B

(Univ. Artois, Lens, FRA)

About Univ. Artois, Lens, FRA

, 
SAIES L

About SAIES L

(Univ. Artois, Lens, FRA)

About Univ. Artois, Lens, FRA

, 
GREGOIRE E

About GREGOIRE E

(Univ. Artois, Lens, FRA)

About Univ. Artois, Lens, FRA


Material：
Proceedings. National Conference on Artificial Intelligence  (AAAI Proceedings)

About Proceedings. National Conference on Artificial Intelligence


Volume： 14th  Page： 281-285  Publication year： 1997 
JST Material Number： H0979A  Document type： Proceedings
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.
*search problem

About search problem

,...
   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=97A0938479&from=J-GLOBAL&jstjournalNo=H0979A") }}
JST classification (2)：
JST classification
Category name(code) classified by JST.
Artificial intelligence 
(JE08000Z)

About Artificial intelligence

,  Theory of computation 
(JB02000A)

About Theory of computation

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

About SAT

, 
充足可能性問題

About 充足可能性問題

, 
タブー探索

About タブー探索


Return to Previous Page

TOP

BOTTOM