Login / Signup

Parameterized and Exact-Exponential Algorithms for the Read-Once Integer Refutation Problem in UTVPI Constraints.

K. SubramaniPiotr 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