( en | de | ru )

 

Disambiguierung von "Lynce, Inês"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Replication of SOAR: A Synthesis Approach for Data Science API Refactoring.

, , , , , , und . ICSE (Companion Volume), Seite 190-191. IEEE, (2021)

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.

Olivier Ines

Márcia Inês Goettert

Cristina Inês Steingräber

Ines Dodel

Gesundheitsbezogene Lebensqualität und Kosten bei Patienten mit Tourette-Syndrom. Uni Marburg, (2009)

Inês Cristina Schmidt Capella

 

Weitere Publikationen von Autoren mit dem selben Namen

A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas., , , , , und . Constraints An Int. J., 14 (4): 415-442 (2009)Haplotype Inference by Pure Parsimony: A Survey., , , und . J. Comput. Biol., 17 (8): 969-992 (2010)On Improving MUS Extraction Algorithms., und . SAT, Volume 6695 von Lecture Notes in Computer Science, Seite 159-173. Springer, (2011)Towards Provably Complete Stochastic Search Algorithms for Satisfiability., , und . EPIA, Volume 2258 von Lecture Notes in Computer Science, Seite 363-370. Springer, (2001)Improving SAT Algorithms by Using Search Pruning Techniques., und . CP, Volume 2239 von Lecture Notes in Computer Science, Seite 770. Springer, (2001)Random backtracking in backtrack search algorithms for satisfiability., und . Discret. Appl. Math., 155 (12): 1604-1612 (2007)Efficient Haplotype Inference with Pseudo-boolean Optimization., , , und . AB, Volume 4545 von Lecture Notes in Computer Science, Seite 125-139. Springer, (2007)Inferring phylogenetic trees using pseudo-Boolean optimization., , und . AI Commun., 27 (3): 229-243 (2014)Improving Search Space Splitting for Parallel SAT Solving., , und . ICTAI (1), Seite 336-343. IEEE Computer Society, (2010)Concurrency Debugging with MaxSMT., , , und . AAAI, Seite 1608-1616. AAAI Press, (2019)