Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Stable States of Boolean Regulatory Networks Composed Over Hexagonal Grids.

P. Varela, I. Lynce, V. Manquinho, C. Chaouiya, und P. Monteiro. Electron. Notes Theor. Comput. Sci., (2018)

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.

M. Nudischer

M. Kratzer

M. Liewald

M. Fittingho

M. Christmann

Weitere Publikationen von Autoren mit dem selben Namen

Improving linear search algorithms with model-based approaches for MaxSAT solving.R. Martins, V. Manquinho, und I. Lynce. J. Exp. Theor. Artif. Intell., 27 (5): 673-701 (2015)Satisfiability-Based Algorithms for Pseudo-Boolean Optimization Using Gomory Cuts and Search Restarts.V. Manquinho, und J. Silva. ICTAI, Seite 150-155. IEEE Computer Society, (2005)Prime Implicant Computation Using Satisfiability Algorithms.V. Manquinho, P. Flores, J. Silva, und A. Oliveira. ICTAI, Seite 232-239. IEEE Computer Society, (1997)Search Pruning Conditions for Boolean Optimization.V. Manquinho, und J. Silva. ECAI, Seite 103-107. IOS Press, (2000)On When and How to use SAT to Mine Frequent ItemsetsR. Henriques, I. Lynce, und V. Manquinho. CoRR, (2012)Virtual machine consolidation using constraint-based multi-objective optimization.M. Terra-Neves, I. Lynce, und V. Manquinho. J. Heuristics, 25 (3): 339-375 (2019)Stratification for Constraint-Based Multi-Objective Combinatorial Optimization.M. Terra-Neves, I. Lynce, und V. Manquinho. IJCAI, Seite 1376-1382. ijcai.org, (2018)On Using Satisfiability-Based Pruning Techniques in Covering Algorithms.V. Manquinho, und J. Silva. DATE, Seite 356-363. IEEE Computer Society / ACM, (2000)Deterministic Parallel MaxSAT Solving.R. Martins, V. Manquinho, und I. Lynce. International Journal on Artificial Intelligence Tools, 24 (3): 1550005:1-1550005:25 (2015)Stable States of Boolean Regulatory Networks Composed Over Hexagonal Grids.P. Varela, I. Lynce, V. Manquinho, C. Chaouiya, und P. Monteiro. Electron. Notes Theor. Comput. Sci., (2018)