DSpace DSpace UPC
 Català   Castellano   English  

E-prints UPC >
Altres >
Enviament des de DRAC >

Empreu aquest identificador per citar o enllaçar aquest ítem: http://hdl.handle.net/2117/13288

Ítem no disponible en accés obert per política de l'editorial

Arxiu Descripció MidaFormat
Ansotegui.pdf653,15 kBAdobe PDF Accés restringit

Citació: Ansótegui, C.; Bonet, M.; Levy, J. Towards industrial-like random SAT instances. A: International Joint Conference on Artificial Intelligence. "21st International Joint Conference on Artificial Intelligence". Pasadena, California: AAAI Press. Association for the Advancement of Artificial Intelligence, 2009, p. 387-392.
Títol: Towards industrial-like random SAT instances
Autor: Ansótegui Gil, Carlos; Bonet Carbonell, M. Luisa Veure Producció científica UPC; Levy Díaz, Jordi Veure Producció científica UPC
Editorial: AAAI Press. Association for the Advancement of Artificial Intelligence
Data: 2009
Tipus de document: Conference report
Resum: We focus on the random generation of SAT instances that have computational properties that are similar to real-world instances. It is known that industrial instances, even with a great number of variables, can be solved by a clever solver in a reasonable amount of time. This is not possible, in general, with classical randomly generated instances. We provide different generation models of SAT instances, extending the uniform and regular 3-CNF models. They are based on the use of non-uniform probability distributions to select variables. Our last model also uses a mechanism to produce clauses of different lengths as in industrial instances. We show the existence of the phase transition phenomena for our models and we study the hardness of the generated instances as a function of the parameters of the probability distributions. We prove that, with these parameters we can adjust the difficulty of the problems in the phase transition point. We measure hardness in terms of the performance of different solvers. We show how these models will allow us to generate random instances similar to industrial instances, of interest for testing purposes.
URI: http://hdl.handle.net/2117/13288
Versió de l'editor: http://ijcai.org/papers09/contents.php
Apareix a les col·leccions:Altres. Enviament des de DRAC
LOGPROG - Logica i Programacio. Ponències/Comunicacions de congressos
Departament de Ciències de la Computació. Ponències/Comunicacions de congressos
Comparteix:


Stats Mostra les estadístiques d'aquest ítem

SFX Query

Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets.

Per a qualsevol ús que se'n vulgui fer no previst a la llei, dirigiu-vos a: sepi.bupc@upc.edu

 

Valid XHTML 1.0! Programari DSpace Copyright © 2002-2004 MIT and Hewlett-Packard Comentaris
Universitat Politècnica de Catalunya. Servei de Biblioteques, Publicacions i Arxius