The computation of #2SAT by a fixed-parameter tractable algorithm.

Guillermo De Ita Pedro Bello Miguel Rodríguez

Published in: LANMR (2018)

Keyphrases

learning algorithm
space complexity
objective function
search space
optimal solution
search algorithm
np hard
computational complexity
dynamic programming
simulated annealing
combinatorial optimization