Export 4 results:
Autor Títol [ Tipus(Desc)] Any
Filtres: Paraula Clau is SAT  [Clear All Filters]
Conference Paper
Ansótegui C, Bonet MLuisa, Levy J, Manyà F.  2008.  Measuring the Hardness of SAT Instances. Proc. of the 23th AAAI Conference on Artificial Intelligence, AAAI-08. :222-228.
Ansótegui C, Levy J.  2011.  On the Modularity of Industrial SAT Instances. Proc. of the 14th Int. Conf. of the ACIA, CCIA'11. 232:11-20.
Ansótegui C, Bonet MLuisa, Levy J.  2008.  Random SAT Instances à la Carte. Proc. of the 11th Int. Conf. of the ACIA, CCIA'08. 184:109-117.
Ansótegui C, Bonet MLuisa, Levy J.  2009.  Towards Industrial-Like Random SAT Instances. Proc. of the 21st Int. Joint Conf. on Artificial Intelligence, IJCAI'09. :387-392.