Treffer 1 - 5 von 5 für Suche 'Saouli, Sabrine', Suchdauer: 0,28s Treffer weiter einschränken
  1. 1
    CosySEL: Improving SAT Solving Using Local Symmetries

    CosySEL: Improving SAT Solving Using Local Symmetries von Saouli, Sabrine, Baarir, Souheib, Dutheillet, Claude, Devriendt, Jo


    Volltext
    Tagungsbericht

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Tackling the Polarity Initialization Problem in SAT Solving Using a Genetic Algorithm

    Tackling the Polarity Initialization Problem in SAT Solving Using a Genetic Algorithm von Saouli, Sabrine, Baarir, Souheib, Dutheillet, Claude


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    CosySEL: Improving SAT Solving Using Local Symmetries

    CosySEL: Improving SAT Solving Using Local Symmetries von Saouli, Sabrine, Baarir, Souheib, Dutheillet, Claude, Devriendt, Jo


    Volltext
    Buchkapitel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    NFM24 SAT 2022 instances

    NFM24 SAT 2022 instances von Saouli, Sabrine

    Volltext bestellen
    Dataset

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Varia

    Varia von Abadlia, Nassima, Abdelouahed, Hanae, Abdelouhab, Fatah, Amrouche, Fouzia, Bellal, Hakima, Benammar, Khedidja, Benaouda, Djamila, Dahou, Foudil, Djouadi, Romaissa, Ettien, Kangah Emmanuel, Ghanem, Fatma Zohra, Guettafi, Sihem, Gueye, Secka, Herzi , Sabrine, Khemiri, Nadia, Moustiri, Zineb, Ouali, Khaoula, Saouli, Yasmine, Tirenifi, Mohamed El-Badr

    Veröffentlicht in Multilinguales

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: