Searching for "Modular difference logic is hard" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

MODULAR DIFFERENCE LOGIC IS HARD
by Nikolaj Bjørner, Andreas Blass, Yuri Gurevich
…MODULAR DIFFERENCE LOGIC IS HARD NIKOLAJ BJØRNER, ANDREAS BLASS, YURI GUREVICH, AND MADAN…
Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB