-
1دورية أكاديمية
المؤلفون: Di Rosa, Emanuele, Giunchiglia, Enrico
المصدر: AI Communications; 2013, Vol. 26 Issue 4, p395-408, 14p
مصطلحات موضوعية: PROBLEM solving, SATISFIABILITY (Computer science), QUALITATIVE research, MATHEMATICAL formulas, MATHEMATICAL sequences, COMPARATIVE studies