1 resultado para Resolution algorithm
em Bulgarian Digital Mathematics Library at IMI-BAS
Filtro por publicador
- Repository Napier (1)
- AMS Tesi di Dottorato - Alm@DL - Università di Bologna (1)
- AMS Tesi di Laurea - Alm@DL - Università di Bologna (1)
- ARCA - Repositório Institucional da FIOCRUZ (1)
- ArchiMeD - Elektronische Publikationen der Universität Mainz - Alemanha (1)
- Archive of European Integration (3)
- Aston University Research Archive (4)
- Avian Conservation and Ecology - Eletronic Cientific Hournal - Écologie et conservation des oiseaux: (1)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (1)
- Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP) (59)
- Biblioteca Virtual del Sistema Sanitario Público de Andalucía (BV-SSPA), Junta de Andalucía. Consejería de Salud y Bienestar Social, Spain (5)
- BORIS: Bern Open Repository and Information System - Berna - Suiça (6)
- Brock University, Canada (29)
- Bulgarian Digital Mathematics Library at IMI-BAS (1)
- CentAUR: Central Archive University of Reading - UK (279)
- CiencIPCA - Instituto Politécnico do Cávado e do Ave, Portugal (2)
- Cochin University of Science & Technology (CUSAT), India (20)
- Consorci de Serveis Universitaris de Catalunya (CSUC), Spain (80)
- Cor-Ciencia - Acuerdo de Bibliotecas Universitarias de Córdoba (ABUC), Argentina (1)
- Department of Computer Science E-Repository - King's College London, Strand, London (1)
- Digital Peer Publishing (1)
- DigitalCommons@The Texas Medical Center (1)
- Doria (National Library of Finland DSpace Services) - National Library of Finland, Finland (20)
- Duke University (2)
- Institute of Public Health in Ireland, Ireland (1)
- Instituto Politécnico de Leiria (1)
- Instituto Politécnico do Porto, Portugal (41)
- Iowa Publications Online (IPO) - State Library, State of Iowa (Iowa), United States (6)
- Martin Luther Universitat Halle Wittenberg, Germany (6)
- Massachusetts Institute of Technology (6)
- National Center for Biotechnology Information - NCBI (1)
- Nottingham eTheses (6)
- Portal do Conhecimento - Ministerio do Ensino Superior Ciencia e Inovacao, Cape Verde (1)
- Publishing Network for Geoscientific & Environmental Data (2)
- Repositório Científico da Universidade de Évora - Portugal (1)
- Repositório Científico do Instituto Politécnico de Lisboa - Portugal (25)
- Repositório da Produção Científica e Intelectual da Unicamp (8)
- Repositório da Universidade Federal do Espírito Santo (UFES), Brazil (1)
- Repositório do Centro Hospitalar de Lisboa Central, EPE - Centro Hospitalar de Lisboa Central, EPE, Portugal (1)
- Repositório Institucional UNESP - Universidade Estadual Paulista "Julio de Mesquita Filho" (5)
- RUN (Repositório da Universidade Nova de Lisboa) - FCT (Faculdade de Cienecias e Technologia), Universidade Nova de Lisboa (UNL), Portugal (25)
- School of Medicine, Washington University, United States (6)
- Scielo Saúde Pública - SP (37)
- Universidad Autónoma de Nuevo León, Mexico (2)
- Universidad de Alicante (5)
- Universidad del Rosario, Colombia (2)
- Universidad Politécnica de Madrid (3)
- Universidade do Minho (7)
- Universidade Federal de Uberlândia (1)
- Universitat de Girona, Spain (8)
- Universitätsbibliothek Kassel, Universität Kassel, Germany (3)
- Université de Lausanne, Switzerland (164)
- Université de Montréal (1)
- Université de Montréal, Canada (28)
- Université Laval Mémoires et thèses électroniques (1)
- University of Queensland eSpace - Australia (69)
Resumo:
The parallel resolution procedures based on graph structures method are presented. OR-, AND- and DCDP- parallel inference on connection graph representation is explored and modifications to these algorithms using heuristic estimation are proposed. The principles for designing these heuristic functions are thoroughly discussed. The colored clause graphs resolution principle is presented. The comparison of efficiency (on the Steamroller problem) is carried out and the results are presented. The parallel unification algorithm used in the parallel inference procedure is briefly outlined in the final part of the paper.