Formulating the template ILP consistency problem as a constraint satisfaction problem

DOI10.1007/s10601-013-9141-7zbMath1309.90054OpenAlexW1978371573MaRDI QIDQ487650

Roman Barták, Ondřej Kuželka, Radomír Černoch, Filip Železný

Publication date: 22 January 2015

Published in: Constraints (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10601-013-9141-7

zbMATH Keywords

meta-reasoninginductive logic programmingconstraint modeling

Mathematics Subject Classification ID

Boolean programming (90C09)

Uses Software

• Aleph
• nFOIL

Cites Work

• Unnamed Item
• Constraint-based scheduling: Applying constraint programming to scheduling problems.
• Boosting search with variable elimination in constraint optimization and constraint satisfaction problems
• Building decision procedures for modal logics from propositional decision procedures: The case study of modal \(K(m)\).
• Emergence of Scaling in Random Networks
• Inductive Logic Programming: Theory and methods
• Fast theta-subsumption with constraint satisfaction algorithms