about
A comparative runtime analysis of heuristic algorithms for satisfiability problems.Using previous models to bias structural learning in the hierarchical BOA.A multilevel memetic algorithm for large SAT-encoded problems.Automated discovery of local search heuristics for satisfiability testing.A note on problem difficulty measures in black-box optimization: classification, realizations and predictability.GASAT: a genetic local search algorithm for the satisfiability problem.Evolutionary Local Search of Fuzzy Rules through a novel Neuro-Fuzzy encoding method.Reasoning with Time Intervals: A Logical and Computational Perspective
P2860
Q37415389-65B3AB0E-256C-45DA-904F-27F657AE8A05Q39687188-35180C6A-BEDA-49BF-8814-57C669E67533Q51374043-0FCDE6E5-0ED2-4BE7-9927-7194A5672D2EQ51889246-80F13E81-EB57-4758-9BCF-879F0903904FQ51900248-1B7ABC93-7B79-4790-8613-BD50D1BA74E3Q51938081-AFCBD9BE-CB15-41F0-9A13-7C38215B9F4EQ52007774-AC587261-1983-4288-A3D5-76B939B67CCBQ58691483-A12E5921-E669-4630-81A7-DF01563AF0B8
P2860
description
2002 nî lūn-bûn
@nan
2002 թուականի Յունուարին հրատարակուած գիտական յօդուած
@hyw
2002 թվականի հունվարին հրատարակված գիտական հոդված
@hy
2002年の論文
@ja
2002年学术文章
@wuu
2002年学术文章
@zh-cn
2002年学术文章
@zh-hans
2002年学术文章
@zh-my
2002年学术文章
@zh-sg
2002年學術文章
@yue
name
Evolutionary algorithms for the satisfiability problem.
@ast
Evolutionary algorithms for the satisfiability problem.
@en
Evolutionary algorithms for the satisfiability problem.
@nl
type
label
Evolutionary algorithms for the satisfiability problem.
@ast
Evolutionary algorithms for the satisfiability problem.
@en
Evolutionary algorithms for the satisfiability problem.
@nl
prefLabel
Evolutionary algorithms for the satisfiability problem.
@ast
Evolutionary algorithms for the satisfiability problem.
@en
Evolutionary algorithms for the satisfiability problem.
@nl
P2093
P1476
Evolutionary algorithms for the satisfiability problem.
@en
P2093
Claudio Rossi
Elena Marchiori
Jens Gottlieb
P356
10.1162/106365602317301763
P577
2002-01-01T00:00:00Z