Advanced search
1 file | 812.01 KB Add to list

Automated conjecturing I : Fajtlowicz's Dalmatian heuristic revisited

(2016) ARTIFICIAL INTELLIGENCE. 231. p.17-38
Author
Organization
Keywords
GRAFFITI, EXTREMAL GRAPHS, SYSTEM, INDEPENDENCE NUMBER, HAMILTONIAN-PROBLEM, VARIABLE NEIGHBORHOOD SEARCH, GRAPH INVARIANTS, Dalmatian heuristic, INEQUALITIES, DISCOVERY, Automated scientific discovery, Mathematical discovery, Automated conjecture-making, AVERAGE DISTANCE, Automated conjecturing

Downloads

  • (...).pdf
    • full text
    • |
    • UGent only
    • |
    • PDF
    • |
    • 812.01 KB

Citation

Please use this url to cite or link to this publication:

MLA
Larson, Craig, and Nicolas Van Cleemput. “Automated Conjecturing I : Fajtlowicz’s Dalmatian Heuristic Revisited.” ARTIFICIAL INTELLIGENCE 231 (2016): 17–38. Print.
APA
Larson, Craig, & Van Cleemput, N. (2016). Automated conjecturing I : Fajtlowicz’s Dalmatian heuristic revisited. ARTIFICIAL INTELLIGENCE, 231, 17–38.
Chicago author-date
Larson, Craig, and Nicolas Van Cleemput. 2016. “Automated Conjecturing I : Fajtlowicz’s Dalmatian Heuristic Revisited.” Artificial Intelligence 231: 17–38.
Chicago author-date (all authors)
Larson, Craig, and Nicolas Van Cleemput. 2016. “Automated Conjecturing I : Fajtlowicz’s Dalmatian Heuristic Revisited.” Artificial Intelligence 231: 17–38.
Vancouver
1.
Larson C, Van Cleemput N. Automated conjecturing I : Fajtlowicz’s Dalmatian heuristic revisited. ARTIFICIAL INTELLIGENCE. 2016;231:17–38.
IEEE
[1]
C. Larson and N. Van Cleemput, “Automated conjecturing I : Fajtlowicz’s Dalmatian heuristic revisited,” ARTIFICIAL INTELLIGENCE, vol. 231, pp. 17–38, 2016.
@article{7136944,
  author       = {Larson, Craig and Van Cleemput, Nicolas},
  issn         = {0004-3702},
  journal      = {ARTIFICIAL INTELLIGENCE},
  keywords     = {GRAFFITI,EXTREMAL GRAPHS,SYSTEM,INDEPENDENCE NUMBER,HAMILTONIAN-PROBLEM,VARIABLE NEIGHBORHOOD SEARCH,GRAPH INVARIANTS,Dalmatian heuristic,INEQUALITIES,DISCOVERY,Automated scientific discovery,Mathematical discovery,Automated conjecture-making,AVERAGE DISTANCE,Automated conjecturing},
  language     = {eng},
  pages        = {17--38},
  title        = {Automated conjecturing I : Fajtlowicz's Dalmatian heuristic revisited},
  url          = {http://dx.doi.org/10.1016/j.artint.2015.10.002},
  volume       = {231},
  year         = {2016},
}

Altmetric
View in Altmetric
Web of Science
Times cited: