An evolutionary local search method for incremental satisfiability

Conference proceeding

Peer reviewed

Mohamed EL BACHIR MENAÏ and Mohamed Menai

Lecture notes in computer science, Vol.3249, pp.143-156

AISC 2004 : artificial intelligence and symbolic computation (Linz, 22-24 September 2004)

2004

Abstract

Algorithmics. Computability. Computer arithmetics

Applied sciences

Artificial intelligence

Computer science; control theory; systems

Exact sciences and technology

Learning and adaptive systems

Theoretical computing

1 Record Views

Title: An evolutionary local search method for incremental satisfiability
Creators - without role: Mohamed EL BACHIR MENAÏ - Université Paris Cité
Mohamed Menai - King Saud University
Publication Details: Lecture notes in computer science, Vol.3249, pp.143-156
Conference: AISC 2004 : artificial intelligence and symbolic computation (Linz, 22-24 September 2004)
Publisher: Springer
Identifiers: 9951674808331
Academic Unit: King Saud University
Language: English
Resource Type: Conference proceeding