publications:
- title: "Quantum Genetic Algorithm for Binary Decision Diagram Ordering Problem"
  author:
  - name: "Abdesslem Layeb"
    link: "http://layeb.new.fr"
  - name: "Djamel-Eddine Saidouni"
    link: "https://researchr.org/alias/djamel-eddine-saidouni"
  year: "2007"
  abstract: "The Binary Decision Diagram (BDD) is used to represent in symbolic manner a set of states. It’s largely used in the field of formal checking. The variable ordering is a very important step in the BDD optimization process. A good order of variables will reduce considerably the size of a BDD. Unfortunately, the search for the best variables ordering has been showed NP-difficult. In this article, we propose a new iterative approach called QGABDD based on a Quantum Genetic Algorithm. QGABDD is based on a basic core defined by a suitable quantum representation and an adapted quantum evolutionary dynamic. The obtained results are encouraging and attest the feasibility and the effectiveness of our approach. QGABDD is distinguished by a reduced population size and a reasonable number of iterations to find the best order, thanks to the principles of quantum computing"
  tags:
  - "optimization"
  - "rule-based"
  - "principles"
  - "search"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/Layeb07quantumgenetic"
  cites: 0
  citedby: 0
  howpublished: "the International Journal of Computer Science and Network Security, Vol.7, No 9, pp. 130-135, ISSN 1738-7906"
  kind: "misc"
  key: "Layeb07quantumgenetic"
- title: "A New Quantum Scatter Search Algorithm for MAX 3-SAT Problem"
  author:
  - name: "Abdesslem Layeb"
    link: "http://layeb.new.fr"
  - name: "Djamel-Eddine Saidouni"
    link: "https://researchr.org/alias/djamel-eddine-saidouni"
  - name: "El-Ghazali Talbi"
    link: "https://researchr.org/alias/el-ghazali-talbi"
  year: "2008"
  tags:
  - "search"
  researchr: "https://researchr.org/publication/cans-0-0"
  cites: 0
  citedby: 0
  booktitle: "Complexity in Artificial and Natural Systems"
  kind: "inproceedings"
  key: "cans-0-0"
- title: "A Quantum Evolutionary Algorithm for Effective Multiple Sequence Alignment"
  author:
  - name: "Souham Meshoul"
    link: "https://researchr.org/alias/souham-meshoul"
  - name: "Abdesslem Layeb"
    link: "http://layeb.new.fr"
  - name: "Mohamed Batouche"
    link: "https://researchr.org/alias/mohamed-batouche"
  year: "2005"
  doi: "http://dx.doi.org/10.1007/11595014_26"
  links:
    doi: "http://dx.doi.org/10.1007/11595014_26"
  researchr: "https://researchr.org/publication/MeshoulLB05"
  cites: 0
  citedby: 0
  pages: "260-271"
  booktitle: "epia"
  kind: "inproceedings"
  key: "MeshoulLB05"
- title: "Quantum Genetic Algorithm for Multiple RNA Structural Alignment"
  author:
  - name: "Abdesslem Layeb"
    link: "http://layeb.new.fr"
  - name: "Souham Meshoul"
    link: "https://researchr.org/alias/souham-meshoul"
  - name: "Mohamed Batouche"
    link: "https://researchr.org/alias/mohamed-batouche"
  year: "2008"
  doi: "http://doi.ieeecomputersociety.org/10.1109/AMS.2008.151"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/AMS.2008.151"
  researchr: "https://researchr.org/publication/LayebMB08"
  cites: 0
  citedby: 0
  pages: "873-878"
  booktitle: "asiams"
  kind: "inproceedings"
  key: "LayebMB08"
- title: "Quantum Evolutionary Algorithms for Multiple Sequences Alignment"
  author:
  - name: "Abdesslem Layeb"
    link: "http://layeb.new.fr"
  year: "2005"
  researchr: "https://researchr.org/publication/matserthes"
  cites: 0
  citedby: 0
  school: "Computer Science department, University Mentouri Of Constantine, Algeria"
  kind: "mastersthesis"
  key: "matserthes"
- title: "Quantum Differential Evolution Algorithm for Variable Ordering Problem of Binary Decision Diagram"
  author:
  - name: "Abdesslem Layeb"
    link: "http://layeb.new.fr"
  - name: "Djamel-Eddine Saidouni"
    link: "https://researchr.org/alias/djamel-eddine-saidouni"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-89985-3_139"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-89985-3_139"
  researchr: "https://researchr.org/publication/ccis2008"
  cites: 0
  citedby: 0
  booktitle: "Advances in Computer Science and Engineering"
  kind: "inproceedings"
  key: "ccis2008"
- title: "A QUANTUM GENETIC ALGORITHM WITH HILL CLIMBING ALGORITHM FOR MAX 3-SAT PROBLEMS"
  author:
  - name: "Abdesslem Layeb"
    link: "http://layeb.new.fr"
  - name: "Djamel-Eddine Saidouni"
    link: "https://researchr.org/alias/djamel-eddine-saidouni"
  year: "2008"
  researchr: "https://researchr.org/publication/jatitlayeb"
  cites: 0
  citedby: 0
  journal: "Journal of Theoretical and Applied Information Technology"
  volume: "4"
  number: "11"
  kind: "article"
  key: "jatitlayeb"
- title: "Multiple Sequence Alignment by Immune Artificial System"
  author:
  - name: "Abdesslem Layeb"
    link: "http://layeb.new.fr"
  - name: "Abdel Hakim Deneche"
    link: "https://researchr.org/alias/abdel-hakim-deneche"
  year: "2007"
  doi: "http://dx.doi.org/10.1109/AICCSA.2007.370903"
  links:
    doi: "http://dx.doi.org/10.1109/AICCSA.2007.370903"
  researchr: "https://researchr.org/publication/LayebD07"
  cites: 0
  citedby: 0
  pages: "336-342"
  booktitle: "aiccsa"
  kind: "inproceedings"
  key: "LayebD07"
- title: "Quantum differential evolution Algorithms Based on Hill Climbing for Solving BDD Ordering Problem"
  author:
  - name: "Abdesslem Layeb"
    link: "http://layeb.new.fr"
  - name: "Djamel-Eddine Saidouni"
    link: "https://researchr.org/alias/djamel-eddine-saidouni"
  year: "2008"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/cans-0"
  cites: 0
  citedby: 0
  booktitle: "Complexity in Artificial and Natural Systems"
  kind: "inproceedings"
  key: "cans-0"
- title: "A Hybrid method for effective multiple sequence alignment."
  author:
  - name: "Abdesslem Layeb"
    link: "http://layeb.new.fr"
  - name: "Souham Meshoul"
    link: "https://researchr.org/alias/souham-meshoul"
  - name: "Mohamed Batouche"
    link: "https://researchr.org/alias/mohamed-batouche"
  year: "2009"
  links:
    "url": "http://dblp.uni-trier.de/db/conf/iscc/iscc2009.html#LayebMB09"
  researchr: "https://researchr.org/publication/conf-iscc-LayebMB09"
  cites: 0
  citedby: 0
  booktitle: "ISCC"
  kind: "inproceedings"
  key: "conf-iscc-LayebMB09"
- title: "QEAMSA: a Quantum Evolutionary Algorithm for Multiple Sequence Alignment"
  author:
  - name: "Souham Meshoul"
    link: "https://researchr.org/alias/souham-meshoul"
  - name: "Abdesslem Layeb"
    link: "http://layeb.new.fr"
  - name: "Mohamed Batouche"
    link: "https://researchr.org/alias/mohamed-batouche"
  year: "2005"
  researchr: "https://researchr.org/publication/cans"
  cites: 0
  citedby: 0
  kind: "inproceedings"
  key: "cans"
- title: "Multiple sequence alignment by quantum genetic algorithm."
  author:
  - name: "Abdesslem Layeb"
    link: "http://layeb.new.fr"
  - name: "Souham Meshoul"
    link: "https://researchr.org/alias/souham-meshoul"
  - name: "Mohamed Batouche"
    link: "https://researchr.org/alias/mohamed-batouche"
  year: "2006"
  links:
    "url": "http://dblp.uni-trier.de/db/conf/ipps/ipdps2006.html#AbdesslemSM06"
  researchr: "https://researchr.org/publication/conf-ipps-AbdesslemSM06"
  cites: 0
  citedby: 0
  booktitle: "IPDPS"
  kind: "inproceedings"
  key: "conf-ipps-AbdesslemSM06"
- title: "A New Quantum Evolutionary Local Search Algorithm for MAX 3-SAT Problem"
  author:
  - name: "Abdesslem Layeb"
    link: "http://layeb.new.fr"
  - name: "Djamel-Eddine Saidouni"
    link: "https://researchr.org/alias/djamel-eddine-saidouni"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-87656-4_22"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-87656-4_22"
  tags:
  - "search"
  researchr: "https://researchr.org/publication/LayebS08"
  cites: 0
  citedby: 0
  pages: "172-179"
  booktitle: "HAIS"
  kind: "inproceedings"
  key: "LayebS08"
- title: "Using Combinatorial Optimization Approaches for the Verification of Real Time Applications"
  author:
  - name: "Abdesslem Layeb"
    link: "http://layeb.new.fr"
  year: "2010"
  abstract: "In this doctoral thesis, we are interested in two big combinatory optimization problems encountered within the formal methods when we check applications.  The first problem is the variable reordering for Binary Decision Diagram (BDD). The BDD is used to represent in symbolic manner a set of states. It’s largely used in the field of formal checking. The variable ordering is a very important step in the BDD optimization process. A good order of variables will reduce considerably the size of a BDD. Unfortunately, the search for the best variables ordering has been showed NP-difficult. The second kind of problems handled in this thesis is the satisfiability problems (SAT and MAX-SAT). The Boolean satisfiability problem is defined as the task of determining the satisfiability of a given Boolean formula by looking for the variable assignment that makes this formula evaluating to true. The Maximum Satisfiability (Max-SAT) problem is a variant of SAT problem that aims to find the variable assignment maximizing the number of satisfied clauses. It has been demonstrated that the Max-SAT problem is NP-complete. This complex problem has several applications in different domains such as model checking, graph coloring and task planning, etc.  The use of heuristics like genetic algorithms and local search is essential to find acceptable solutions within reasonable times. Within this perspective, we are interested in applying hybrid evolutionary algorithms to solve these problems. Key words: binary decision diagram, SAT, MAX-SAT, optimization, quantum evolutionary algorithms, local research, exact approaches, hybrid approaches. "
  tags:
  - "optimization"
  - "completeness"
  - "model checking"
  - "meta-model"
  - "graph-rewriting"
  - "Meta-Environment"
  - "rewriting"
  - "search"
  - "process modeling"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/thesformel"
  cites: 0
  citedby: 0
  school: "Computer Science department, University Mentouri Of Constantine, Algeria"
  kind: "phdthesis"
  key: "thesformel"