Constrained read-once refutations in UTVPI constraint systems: A parallel perspective.

K. Subramani Piotr Wojciechowski

Published in: Math. Struct. Comput. Sci. (2024)

Keyphrases

distributed systems
real time
data sets
artificial intelligence
viewpoint
complex systems
load balancing
propositional logic
parallel implementation