Login / Signup
The Uniform Minimum-Ones 2SAT Problem and its Application to Haplotype Classification.
Hans-Joachim Böckenhauer
Michal Forisek
Ján Oravec
Björn Steffen
Kathleen Steinhöfel
Monika Steinová
Published in:
RAIRO Theor. Informatics Appl. (2010)
Keyphrases
</>
sat problem
constraint satisfaction problems
machine learning
np hard
satisfiability problem
data structure
search algorithm
evolutionary algorithm
information retrieval systems
sat instances
boolean satisfiability