Dovier-Piazza-Policriti: Paige-Tarjan Bonic #25
Description
In the paper where the Dovier-Piazza-Policriti algorithm is presented the authore discuss an improvement (section 6.1) which is used also in the tests section.
{{ message }}
In the paper where the Dovier-Piazza-Policriti algorithm is presented the authore discuss an improvement (section 6.1) which is used also in the tests section.