( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Haplotype Inference Using Propositional Satisfiability.

, , и . Mathematical Approaches to Polymer Sequence Analysis and Related Problems, Springer, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

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)

Maria Inês Passos Eleutério

 

Другие публикации лиц с тем же именем

Haplotype Inference by Pure Parsimony: A Survey., , , и . J. Comput. Biol., 17 (8): 969-992 (2010)A branch and bound algorithm for extracting smallest minimal unsatisfiable subformulas., , , , , и . Constraints An Int. J., 14 (4): 415-442 (2009)Efficient Encodings from CSP into SAT, and from MaxCSP into MaxSAT., , , и . J. Multiple Valued Log. Soft Comput., 19 (1-3): 3-23 (2012)DeepData: Machine learning in the marine ecosystems., , , , и . Expert Syst. Appl., (2022)Repairing Boolean logical models from time-series data using Answer Set Programming., , и . Algorithms Mol. Biol., 14 (1): 9:1-9:16 (2019)Inferring phylogenetic trees using pseudo-Boolean optimization., , и . AI Commun., 27 (3): 229-243 (2014)DistMS: A Non-Portfolio Distributed Solver for Maximum Satisfiability., , и . CoRR, (2015)Random backtracking in backtrack search algorithms for satisfiability., и . Discret. Appl. Math., 155 (12): 1604-1612 (2007)Computing the Summed Adjacency Disruption Number between Two Genomes with Duplicate Genes Using Pseudo-Boolean Optimization., , и . RECOMB-CG, том 5817 из Lecture Notes in Computer Science, стр. 138-149. Springer, (2009)Revision of Boolean Models of Regulatory Networks Using Stable State Observations., , и . J. Comput. Biol., 27 (2): 144-155 (2020)