Login / Signup
Efficient counting of models for boolean formulas represented by embedded cycles.
Guillermo De Ita Luna
Pedro Bello López
Meliza Contreras González
Published in:
LA-NMR (2007)
Keyphrases
</>
boolean formula
evolutionary algorithm
genetic algorithm
linear constraints