( en | de | ru )

 

Disambiguierung von "Lynce, Inês"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Sequential Encodings from Max-CSP into Partial Max-SAT.

, , , und . SAT, Volume 5584 von Lecture Notes in Computer Science, Seite 161-166. Springer, (2009)

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

Haplotype Inference by Pure Parsimony: A Survey., , , und . J. Comput. Biol., 17 (8): 969-992 (2010)A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas., , , , , und . Constraints An Int. J., 14 (4): 415-442 (2009)Random backtracking in backtrack search algorithms for satisfiability., und . Discret. Appl. Math., 155 (12): 1604-1612 (2007)Towards Provably Complete Stochastic Search Algorithms for Satisfiability., , und . EPIA, Volume 2258 von Lecture Notes in Computer Science, Seite 363-370. Springer, (2001)On Improving MUS Extraction Algorithms., und . SAT, Volume 6695 von Lecture Notes in Computer Science, Seite 159-173. Springer, (2011)Improving SAT Algorithms by Using Search Pruning Techniques., und . CP, Volume 2239 von Lecture Notes in Computer Science, Seite 770. Springer, (2001)Efficient Haplotype Inference with Pseudo-boolean Optimization., , , und . AB, Volume 4545 von Lecture Notes in Computer Science, Seite 125-139. Springer, (2007)DeepData: Machine learning in the marine ecosystems., , , , und . Expert Syst. Appl., (2022)DistMS: A Non-Portfolio Distributed Solver for Maximum Satisfiability., , und . CoRR, (2015)Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes Using Pseudo-Boolean Optimization., , und . RECOMB-CG, Volume 5817 von Lecture Notes in Computer Science, Seite 138-149. Springer, (2009)