( en | de | ru )

 

Disambiguierung von "Oliveras, Albert"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints.

, , , und . CP, Volume 8124 von Lecture Notes in Computer Science, Seite 80-96. Springer, (2013)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Albert Müller

Albert Kellershohn

Albert Janssen

Albert Stork

Albert Hammes

 

Weitere Publikationen von Autoren mit dem selben Namen

Analyzing Multiple Conflicts in SAT: An Experimental Evaluation., , und . LPAR, Volume 94 von EPiC Series in Computing, Seite 306-316. EasyChair, (2023)A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints., , , und . CP, Volume 8124 von Lecture Notes in Computer Science, Seite 80-96. Springer, (2013)Abstract DPLL and Abstract DPLL Modulo Theories., , und . LPAR, Volume 3452 von Lecture Notes in Computer Science, Seite 36-50. Springer, (2004)DPLL(T) with Exhaustive Theory Propagation and Its Application to Difference Logic., und . CAV, Volume 3576 von Lecture Notes in Computer Science, Seite 321-334. Springer, (2005)Preface., und . SMT@CAV, Volume 198 von Electronic Notes in Theoretical Computer Science, Seite 1-2. Elsevier, (2007)The Barcelogic SMT Solver., , , , und . CAV, Volume 5123 von Lecture Notes in Computer Science, Seite 294-298. Springer, (2008)Two level continuous speech recognition using demisyllable-based HMM word spotting., , , und . EUROSPEECH, Seite 1199-1202. ISCA, (1991)Proving Termination Through Conditional Termination., , , , , und . TACAS (1), Volume 10205 von Lecture Notes in Computer Science, Seite 99-117. (2017)Decision Procedures for SAT, SAT Modulo Theories and Beyond. The BarcelogicTools., und . LPAR, Volume 3835 von Lecture Notes in Computer Science, Seite 23-46. Springer, (2005)MiniMaxSat: A New Weighted Max-SAT Solver., , und . SAT, Volume 4501 von Lecture Notes in Computer Science, Seite 41-55. Springer, (2007)