Login / Signup
Efficient SAT Techniques for Relative Encoding of Permutations with Constraints.
Miroslav N. Velev
Ping Gao
Published in:
Australasian Conference on Artificial Intelligence (2009)
Keyphrases
</>
neural network
cost effective
sat encodings
pseudo boolean constraints
search algorithm
constraint satisfaction
data sets
search space
heuristic search
computationally expensive
search strategies
sat solvers
pseudo boolean