Efficient program synthesis using constraint satisfaction in inductive logic programming (Q2933968)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6378067
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Efficient program synthesis using constraint satisfaction in inductive logic programming |
scientific article; zbMATH DE number 6378067 |
Statements
8 December 2014
0 references
inductive logic programming
0 references
program synthesis
0 references
theory induction
0 references
constraint satisfaction
0 references
Boolean satisfiability problem
0 references
0.7622408866882324
0 references
0.7407724261283875
0 references
0.7288762331008911
0 references
0.7209818959236145
0 references
0.7160455584526062
0 references
