QMaxSAT version 0.3 & 0.4. - Xuanye An; Miyuki Koshimura; Hiroshi Fujita 002; Ryuzo Hasegawa (TABLEAUX (Workshops, Tutorials, and Short Papers), 2011)