Jump to ContentJump to Main Navigation

Search Results - De Gruyter Publishers

You are looking at 1-10 of 71 items for: SAT

  • Keywords: SATx
Clear AllModify Search
Abu Doush, Iyad / Quran, Amal Lutfi / Al-Betar, Mohammed Azmi / Awadallah, Mohammed A.

MAX-SAT Problem using Hybrid Harmony Search Algorithm

Product Type: Journals/Yearbooks
Praça, Gibson Moreira / Morales, Juan Carlos Pérez / Bredt, Sarah Da Glória Teles / Sousa, Raphael Brito E / Andrade, André Gustavo Pereira De / Greco, Pablo Juan

The development of tactical skills in U-14 and U-15 soccer players throughout a season: a comparative analysis

Product Type: Journals/Yearbooks
Vatutin, Eduard / Zaikin, Oleg / Kochemazov, Stepan / Valyaev, Sergey

Using Volunteer Computing to Study Some Features of Diagonal Latin Squares

Product Type: Journals/Yearbooks
Arora, Ankuj / Fiorino, Humbert / Pellier, Damien / Pesty, Sylvie

Learning Robot Speech Models to Predict Speech Acts in HRI

Product Type: Journals/Yearbooks
Soeken, Mathias / Drechsler, Rolf / Fischer, Reinhard X.

Atomic distributions in crystal structures solved by Boolean satisfiability techniques

Hellebrand, Sybille / Wunderlich, Hans-Joachim

SAT-based ATPG beyond stuck-at fault testing

Product Type: Journals/Yearbooks
Pułka, Andrzej

Selection of search strategies for solving 3-SAT problems

Brzica, Hrvoje / Breljak, Davorka / Burckhardt, Birgitta C / Burckhardt, Gerhard / Sabolić, Ivan

Oxalate: From the Environment to Kidney Stones

Product Type: Journals/Yearbooks

InfoMonitor 2012: Fernsehnachrichten bei ARD, ZDF, RTL und Sat.1. Ereignisse, Themen und Akteure

Krüger, Udo Michael
Media Perspektiven
2013
Product Type: Databases
IBZ Online

You are looking at 1-10 of 71 items for: SAT

  • Keywords: SATx
Clear AllModify Search