Login / Signup
Solving peptide sequencing as satisfiability.
Renato Bruni
Published in:
Comput. Math. Appl. (2008)
Keyphrases
</>
tandem mass
satisfiability problem
tandem mass spectrometry
stochastic local search
phase transition
np complete
sat encodings
sat solving
tandem mass spectra
real time
neural network
search algorithm
combinatorial optimization
solving problems
sat instances