Full Text Available
Note: Clicking the button above will open the full text document at the original institutional repository in a new window.
Extended Resolution Clause Learning via Dual Implication Points
Saved in:
| Published in: | Logical Methods in Computer Science |
|---|---|
| Format: | Online Article RSS Article |
| Published: |
2026
|
| Subjects: | |
| Tags: |
No Tags, Be the first to tag this record!
|
| _version_ | 1868553613843890176 |
|---|---|
| collection | WordPress RSS FRELIP Feed Integration |
| container_title | Logical Methods in Computer Science |
| description | |
| discipline_display | Computer Sciience |
| discipline_facet | Computer Sciience |
| format | Online Article RSS Article |
| genre | Journal Article |
| id | rss_article:77763 |
| institution | FRELIP |
| journal_source_facet | Logical Methods in Computer Science |
| last_indexed | 2026-06-20T21:39:49.249Z |
| publishDate | 2026 |
| publishDateSort | 2026 |
| record_format | rss_article |
| spellingShingle | Extended Resolution Clause Learning via Dual Implication Points Computer Sciience General Computer Sciience |
| sub_discipline_display | General |
| sub_discipline_facet | General |
| subject_display | Computer Sciience General Computer Sciience |
| subject_facet | Computer Sciience General Computer Sciience |
| title | Extended Resolution Clause Learning via Dual Implication Points |
| title_alt | Aprendizaje de Cláusulas de Resolución Extendida mediante Puntos de Implicación Dual Apprentissage de clauses par résolution étendue via des points d'implication doubles Aprendizagem de Cláusulas de Resolução Estendida via Pontos de Implicação Dupla |
| title_auth | Extended Resolution Clause Learning via Dual Implication Points |
| title_es_txt | Aprendizaje de Cláusulas de Resolución Extendida mediante Puntos de Implicación Dual |
| title_fr_txt | Apprentissage de clauses par résolution étendue via des points d'implication doubles |
| title_full | Extended Resolution Clause Learning via Dual Implication Points |
| title_fullStr | Extended Resolution Clause Learning via Dual Implication Points |
| title_full_unstemmed | Extended Resolution Clause Learning via Dual Implication Points |
| title_pt_txt | Aprendizagem de Cláusulas de Resolução Estendida via Pontos de Implicação Dupla |
| title_short | Extended Resolution Clause Learning via Dual Implication Points |
| title_sort | extended resolution clause learning via dual implication points |
| topic | Computer Sciience General Computer Sciience |
| url | https://doi.org/10.46298/lmcs-22(2:23)2026 |