Search

Displaying 1 - 3 of 3

Lifted unit propagation

Author: Vaezipoor, Pashootan

Date created: 2012-03-13

Partial grounding

Author: Guild, Brendan

Date created: 2011-04-26

A method for solving np search based on model expansion and grounding

Author: Mohebali, Raheleh

Date created: 2007