机译:近似简洁的MaxSat
Institut fuer Informatik (I7) TU Muenchen, Boltzmannstrasse 3, D-85748 Garching bei Muenchen, Germany;
approximation; succinctness; SAT;
机译:快速随机近似字符串匹配,具有简洁的哈希数据结构
机译:将MaxSAT SAT扩展到优化问题:如何使用MaxSAT求解器
机译:基于MaxSAT的Group MaxSAT编码
机译:有损保守更新(LCU)草图:简洁的近似计数存储
机译:通过解耦优化和满意度求解MAXSAT
机译:快速随机近似字符串匹配具有简洁的哈希数据结构
机译:快速随机近似字符串匹配,具有简洁的哈希数据结构