Proceedings 39th International Conference on Logic Programming

Article Properties
Journal Category
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
Refrences
Title Journal Journal Categories Citations Publication Date
Lifting symmetry breaking constraints with inductive logic programming

 Machine Learning
  • Science: Mathematics: Instruments and machines: Electronic computers. Computer science
  • Technology: Mechanical engineering and machinery
  • Technology: Electrical engineering. Electronics. Nuclear engineering: Electronics
  • Technology: Engineering (General). Civil engineering (General)
 2 2022
Symmetry-breaking answer set solving 2011
The Second Answer Set Programming Competition 2009
Symmetry and Satisfiability 2009
Lifting Symmetry Breaking Constraints with Inductive Logic Programming 2021