Login / Signup
Parameterized and Exact-Exponential Algorithms for the Read-Once Integer Refutation Problem in UTVPI Constraints.
K. Subramani
Piotr J. Wojciechowski
Published in:
COCOA (2) (2023)
Keyphrases
</>
learning algorithm
data structure
benchmark datasets
brute force
optimization problems
computationally efficient
times faster
first order logic
constrained optimization