The satisfiability problem in regular CNF-formulas

Thumbnail Image
Date
1998
Authors
Manyà Serres, Felip
Béjar Torres, RamónBéjar Torres, Ramón - ORCID ID
Escalada Imaz, G.
Other authors
Impact
Export
Share
Journal Title
Journal ISSN
Volume Title
Related resource
Citation
URI
http://hdl.handle.net/10459.1/57193
DOI
https://doi.org/10.1007/s005000050042
Journal or Serie
Soft Computing, 1998, vol. 2, p. 116-123
Collections
Articles publicats (Enginyeria Informàtica i Disseny Digital)
Grup de Recerca en Energia i Intel·ligència Artificial (GREiA) (INSPIRES)