QMaxSAT version 0.3 & 0.4.
Xuanye An, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
VenueBTABLEAUX
Year2011
ProceedingsTABLEAUX (Workshops, Tutorials, and Short Papers)
DBLP recordconf/tableaux/AnKFH11 ↗
Browse the full TABLEAUX paper archive.
Xuanye An, Miyuki Koshimura, Hiroshi Fujita, Ryuzo Hasegawa
Browse the full TABLEAUX paper archive.