To access the full text documents, please follow this link: http://hdl.handle.net/10459.1/46644

Generating hard SAT/CSP instances using expander graphs
Ansótegui Gil, Carlos José; Béjar Torres, Ramón; Fernàndez Camon, César; Mateu Piñol, Carles
2008
Intel·ligència artificial
Tecnologia Innovacions
(c) Association for the Advancement of Artificial Intelligence, 2008
article
Association for the Advancement of Artificial Intelligence
         

Full text files in this document

Files Size Format View
012801.pdf 201.6 KB application/pdf View/Open

Full text files in this document

Files Size Format View

Show full item record

Related documents

Other documents of the same author

 

Coordination

 

Supporters