Constraint-Based Case-Based Planning Using Weighted MAX-SAT.

Hankui Zhuo Qiang Yang Lei Li Constraint-Based Case-Based Planning Using Weighted MAX-SAT. 374-388 2009 ICCBR http://dx.doi.org/10.1007/978-3-642-02998-1_27 conf/iccbr/2009 db/conf/iccbr/iccbr2009.html#ZhuoYL09