Improving MaxSAT-Reordered Plans via Block Deordering.

Sabah Binte Noor Fazlul Hasan Siddiqui

Published in: NSysS (2023)

Keyphrases

neural network
upper bound
data sets
information retrieval
multi agent
combinatorial optimization
plan recognition
block size
information systems
sat solvers