MaxSAT

Scalable Knowledge Refactoring Using Constrained Optimisation
Knowledge refactoring compresses logic programs by replacing them with new rules. Current approaches struggle to scale to large …
Minghao Liu, David M. Cerna, Filipe Gouveia, Andrew Cropper
PDF Cite Project DOI
Iterative Train Scheduling under Disruption with Maximum Satisfiability
This paper proposes an iterative Maximum Satisfiability (MaxSAT) approach designed to solve train scheduling optimization problems. The …
Alexandre Lemos, Filipe Gouveia, Inês Lynce, Pedro T. Monteiro
Cite DOI