Searching for "The SAT-Based Approach for Classical Modal Logics." – 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.

2000], The SAT-based approach for classical modal logics
by Enrico Giunchiglia, Fausto Giunchiglia, O Tacchella — in E. Lamma and P.Mello, eds, `AI*IA 99: Advanced in Arti Intelligence
… The SAT-Based Approach for Classical Modal Logics? Enrico Giunchiglia1, Fausto Giunchiglia2…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 1.

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