Yazar
Ofer Strichman
3 cilt bulundu.
Cilt sonuçları
Theory and Applications of Satisfiability Testing - SAT 2010
Ofer Strichman, Stefan Szeider · Springer Science & Business Media
Proceedings of the 7th International Workshop on Satisfiability Modulo Theories
Association for Computing Machinery, ACM Digital Library, Ofer Strichman, Intel and Microsoft Research, Intel Corporation · Yayınevi bilinmiyor
45 sayfa · 2009-08-02
Combinatorial analysis