Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis.
Saved in:
| Title: | Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis. |
|---|---|
| Authors: | CUTERI, BERNARDO1 cuteri@mat.unical.it, DODARO, CARMINE2 dodaro@dibris.unige.it, RICCA, FRANCESCO1 ricca@mat.unical.it, SCHÜLLER, PETER3 schueller.p@gmail.com |
| Source: | Theory & Practice of Logic Programming. Sep2017, Vol. 17 Issue 5/6, p780-799. 20p. |
| Database: | Mathematics Source |
| FullText | Links: – Type: pdflink Text: Availability: 0 |
|---|---|
| Header | DbId: msf DbLabel: Mathematics Source An: 125564483 AccessLevel: 2 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22CUTERI%2C+BERNARDO%22">CUTERI, BERNARDO</searchLink><relatesTo>1</relatesTo><i> cuteri@mat.unical.it</i><br /><searchLink fieldCode="AR" term="%22DODARO%2C+CARMINE%22">DODARO, CARMINE</searchLink><relatesTo>2</relatesTo><i> dodaro@dibris.unige.it</i><br /><searchLink fieldCode="AR" term="%22RICCA%2C+FRANCESCO%22">RICCA, FRANCESCO</searchLink><relatesTo>1</relatesTo><i> ricca@mat.unical.it</i><br /><searchLink fieldCode="AR" term="%22SCHÜLLER%2C+PETER%22">SCHÜLLER, PETER</searchLink><relatesTo>3</relatesTo><i> schueller.p@gmail.com</i> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Theory+%26+Practice+of+Logic+Programming%22">Theory & Practice of Logic Programming</searchLink>. Sep2017, Vol. 17 Issue 5/6, p780-799. 20p. |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=msf&AN=125564483 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1017/S1471068417000254 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 20 StartPage: 780 Titles: – TitleFull: Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: CUTERI, BERNARDO – PersonEntity: Name: NameFull: DODARO, CARMINE – PersonEntity: Name: NameFull: RICCA, FRANCESCO – PersonEntity: Name: NameFull: SCHÜLLER, PETER IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 09 Text: Sep2017 Type: published Y: 2017 Identifiers: – Type: issn-print Value: 14710684 Numbering: – Type: volume Value: 17 – Type: issue Value: 5/6 Titles: – TitleFull: Theory & Practice of Logic Programming Type: main |
| ResultId | 1 |