Chris van Merwijk comments

Repositories
Issues
Comments

Results 1 comments of


                                            Chris van Merwijk

How to extract Herbrand functions?

Thank you, To your knowledge, is there currently any QBF solver that can extract Herbrand/Skolem functions? On Thu, Nov 2, 2023 at 3:07 PM Leander Tentrup ***@***.***> wrote: > That’s...