Login / Signup
Interference-Freedom in Proofs of CSP Programs.
V. R. Prasad
Published in:
ICDCS (1984)
Keyphrases
</>
constraint satisfaction problems
computer programs
constraint programming
equational theories
theorem proving
decomposition methods
np hard
multipath
database
constraint satisfaction
constraint propagation
tree decompositions
arc consistency
non binary
sat encodings