Theory and applications of satisfiability testing -- SAT 2011 : 14th international conference, SAT 2011 : Ann Arbor, MI, USA, June 19-22, 2011 : proceedings. : 14th SAT meeting : Jun 2011, Ann Arbor, MI.
(Lecture Notes in Computer Science ; 6695)
国立国会図書館請求記号
M17-11-3217
国立国会図書館書誌ID
000011236136
資料種別
図書
著者
University of Michigan. Dept. of Electrical Engineering and Computer Science. Computer Science and Engineering Division.ほか