Generating Models of a Matched Formula With a Polynomial Delay (Extended Abstract).

Petr Savick, Petr Kucera

Browse the full IJCAI paper archive.