Login / Signup

A Dynamic MaxSAT-based Approach to Directed Feedback Vertex Sets.

Rafael KieselAndré Schidler
Published in: ALENEX (2023)
Keyphrases
  • dynamic environments
  • upper bound
  • database
  • neural network
  • relevance feedback
  • combinatorial optimization