Login / Signup
Flexible constraint satisfiability and a problem in semigroup theory.
Marcel Jackson
Published in:
CoRR (2015)
Keyphrases
</>
theoretical basis
propositional theories
np complete
lightweight
theoretical framework
genetic algorithm
computational model
theoretical foundation
information theory
propositional logic
linear constraints
constraint solving