Personensuche
X
?
Proceedings of the Genetic and Evolutionary Computation Conference Companion ,
2
The optimal filtering set problem with application to surro..:
, In:
?
Theory and Applications of Satisfiability Testing – SAT 2020; Lecture Notes in Computer Science ,
7
Reasoning About Strong Inconsistency in ASP:
, In:
?
Progress in Artificial Intelligence; Lecture Notes in Computer Science ,
10
Computing Shortest Resolution Proofs:
, In:
?
From Bioinspired Systems and Biomedical Applications to Machine Learning; Lecture Notes in Computer Science ,
11
Repairing Infeasibility in Scheduling via Genetic Algorithm:
, In:
?
Lecture Notes in Computer Science; Theory and Applications of Satisfiability Testing – SAT 2019 ,
12