Login / Signup
On the Parallel Complexity of Constrained Read-Once Refutations in UTVPI Constraint Systems.
K. Subramani
Piotr J. Wojciechowski
Published in:
TAMC (2022)
Keyphrases
</>
artificial intelligence
computational complexity
parallel processing
computing systems
real time
computational cost
management system
distributed systems
linear programming
intelligent systems
complex systems
decision problems