Login / Signup
Combinatorial Search With Picat.
Neng-Fa Zhou
Published in:
CoRR (2014)
Keyphrases
</>
combinatorial search
search space
search algorithm
search strategy
combinatorial problems
search problems
combinatorial optimization
theorem proving
subgraph isomorphism
constraint solver
pattern recognition
orders of magnitude
traveling salesman problem