Saïd Jabbour

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Jerry Lonlac

> Home > Persons > Saïd Jabbour

Publications

2023
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/data/LonlacDJNRS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/data/LonlacDJNRS23
Jerry Lonlac, Imen Ouled Dlala, Saïd Jabbour, Engelbert Mephu Nguifo, Badran Raddaoui, Lakhdar Sais:
Extracting Frequent Gradual Patterns Based on SAT. DATA 2023: 136-143
2021
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/HidouriJLR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/HidouriJLR21
Amel Hidouri, Saïd Jabbour, Jerry Lonlac, Badran Raddaoui:
A Constraint-based Approach for Enumerating Gradual Itemsets. ICTAI 2021: 582-589
2019
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/fuzzIEEE/JabbourLS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fuzzIEEE/JabbourLS19
Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs:
Mining Gradual Itemsets Using Sequential Pattern Mining. FUZZ-IEEE 2019: 1-6
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1903-08452
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1903-08452
Jerry Lonlac, Saïd Jabbour, Engelbert Mephu Nguifo, Lakhdar Saïs, Badran Raddaoui:
Extracting Frequent Gradual Patterns Using Constraints Modeling. CoRR abs/1903.08452 (2019)
2018
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/ijait/JabbourLSS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijait/JabbourLSS18
Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs, Yakoub Salhi:
Revisiting the Learned Clauses Database Reduction Strategies. Int. J. Artif. Intell. Tools 27(8): 1850033:1-1850033:19 (2018)
2014
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/ria/JabbourLSD14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ria/JabbourLSD14
Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs, Clémentin Tayou Djamégni:
Résolution étendue par substitution dynamique des fonctions booléennes. Rev. d'Intelligence Artif. 28(6): 645-663 (2014)
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/GuoJLS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/GuoJLS14
Long Guo, Saïd Jabbour, Jerry Lonlac, Lakhdar Sais:
Diversification by Clauses Deletion Strategies in Portfolio Parallel SAT Solving. ICTAI 2014: 701-708
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/iri/JabbourLSS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iri/JabbourLSS14
Saïd Jabbour, Jerry Lonlac, Lakhdar Sais, Yakoub Salhi:
Extending modern SAT solvers for models enumeration. IRI 2014: 803-810
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/JabbourLSS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/JabbourLSS14
Saïd Jabbour, Jerry Lonlac, Lakhdar Sais, Yakoub Salhi:
Revisiting the Learned Clauses Database Reduction Strategies. CoRR abs/1402.1956 (2014)
2013
[c14]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/sara/JabbourLS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sara/JabbourLS13
Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs:
Adding New Bi-Asserting Clauses for Faster Search in Modern SAT Solvers. SARA 2013
2012
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/JabbourLS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/JabbourLS12
Saïd Jabbour, Jerry Lonlac, Lakhdar Sais:
Extending Resolution by Dynamic Substitution of Boolean Functions. ICTAI 2012: 1029-1034
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/JabbourLS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/JabbourLS12
Saïd Jabbour, Jerry Lonlac, Lakhdar Saïs:
Intensification Search in Modern SAT Solvers - (Poster Presentation). SAT 2012: 491-492

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.