{"type":"ScholarlyArticle","title":"Automated Conjecturing I: Fajtlowicz's Dalmatian Heuristic Revisited (Extended Abstract)","authors":[{"name":"Craig E. Larson","slug":"craig-e-larson","given":"Craig E.","family":"Larson","affiliation":"Department of Mathematics and Applied Mathematics , Virginia Commonwealth University , Richmond , VA USA"},{"name":"Nico Van Cleemput","slug":"nico-van-cleemput","given":"Nico","family":"Van Cleemput","affiliation":"Department of Applied Mathematics, Computer Science and Statistics , Ghent University , Ghent , Belgium"}],"abstract":"This condensed summary highlights the results of a 2016 AIJ paper reporting on a successful general-purpose conjecturing program.","doi":"10.24963/ijcai.2017/713","url":"https://ijcai.org/proceedings/2017/713","pdf":"https://ijcai.org/proceedings/2017/0713.pdf","markdown":"https://ijcai.org/proceedings/2017/713.md","bibtex":"https://ijcai.org/proceedings/2017/bibtex/713","volume":{"slug":"2017","title":"Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2017","url":"https://ijcai.org/proceedings/2017/","year":2017,"location":"Melbourne, Australia","dates":"19-25 August 2017","editors":"Carles Sierra","isbn":"978-0-9992411-0-3","publisher":"International Joint Conferences on Artificial Intelligence Organization","doi_prefix":"10.24963/ijcai.2017"},"section":"Journal track","track":"Journal track","number":713,"pages":{"first":5015,"last":5019},"keywords":["Knowledge Representation, Reasoning, and Logic: Automated Reasoning and Theorem Proving","Multidisciplinary Topics and Applications: AI and Natural Sciences"],"videos":[],"references":[{"position":1,"raw":"[Aigner and Ziegler, 2010] Martin Aigner and Günter M. Ziegler. Proofs from the Book, 4 th ed., volume 274. Springer, 2010.","title":"Proofs from the Book","authors":"Ziegler Aigner, Martin Aigner, Günter M Ziegler","year":"2010","venue":null,"doi":null,"url":null,"internal_url":null},{"position":2,"raw":"[Fajtlowicz, 1995] Siemion Fajtlowicz. On conjectures of Graffiti. V. In Graph Theory, Combinatorics, and Algo- rithms, Vol. 1, 2 (Kalamazoo, MI, 1992), Wiley-Intersci. Publ., pages 367-376. Wiley, New York, 1995.","title":"On conjectures of Graffiti. V. In Graph Theory","authors":"Siemion Fajtlowicz","year":"1992","venue":"Combinatorics, and Algorithms","doi":null,"url":null,"internal_url":null},{"position":3,"raw":"[Favaron et al., 1991] Odile Favaron, Maryvonne Mahéo, and Jean-Franc ¸ois Saclé. On the residue of a graph. J. Graph Theory, 15(1):39-64, 1991.","title":"On the residue of a graph","authors":"Odile Favaron, Maryvonne Mahéo, Jean-Franc ¸ois Saclé","year":"1991","venue":"J. Graph Theory","doi":null,"url":null,"internal_url":null},{"position":4,"raw":"[Haynes et al., 1998] Teresa W. Haynes, Stephen T. Hedet- niemi, and Peter J. Slater. Fundamentals of Domination in Graphs, volume 208 of Monographs and Textbooks in Pure and Applied Mathematics. Marcel Dekker Inc., New York, 1998.","title":"Fundamentals of Domination in Graphs","authors":"Teresa W Haynes, Stephen T Hedetniemi, Peter J Slater","year":"1998","venue":"Monographs and Textbooks in Pure and Applied Mathematics","doi":null,"url":null,"internal_url":null},{"position":5,"raw":"[Larson and Pepper, 2011] Craig E. Larson and Ryan Pep- per. Graphs with equal independence and annihilation numbers. Electronic Journal of Combinatorics, 18(1), 2011.","title":"Graphs with equal independence and annihilation numbers","authors":"Craig E Larson","year":"2011","venue":"Electronic Journal of Combinatorics","doi":null,"url":null,"internal_url":null},{"position":6,"raw":"[Larson and Van Cleemput, 2016] Craig E. Larson and Nico Van Cleemput. Automated conjecturing I: Fajtlowicz's Dalmatian heuristic revisited. Artificial Intelligence, 231:17-38, 2016.","title":"Automated conjecturing I: Fajtlowicz's Dalmatian heuristic revisited","authors":"Craig E Larson, Nico Van Cleemput","year":"2016","venue":"Artificial Intelligence","doi":null,"url":null,"internal_url":null},{"position":7,"raw":"[McKay, 2007] Brendan D. McKay. Nauty users guide (ver- sion 2.4). Computer Science Dept., Australian National University, 2007.","title":"Nauty users guide (version 2.4)","authors":"Brendan D Mckay","year":"2007","venue":null,"doi":null,"url":null,"internal_url":null},{"position":8,"raw":"[Peeters et al., 2009] Adriaan Peeters, Kris Coolsaet, Gun- nar Brinkmann, Nico Van Cleemput, and Veerle Fack. GrInvIn in a nutshell. J. Math. Chem., 45(2):471-477, 2009.","title":"GrInvIn in a nutshell","authors":"Adriaan Peeters, Kris Coolsaet, Gunnar Brinkmann, Nico Van Cleemput, Veerle Fack","year":"2009","venue":"J. Math. Chem","doi":null,"url":null,"internal_url":null},{"position":9,"raw":"[Peeters, 2008] Adriaan Peeters. GrInvIn -A Software Framework for Education and Research in Graph Theory. 2008. Thesis (Ph.D.)-Ghent University.","title":"GrInvIn -A Software Framework for Education and Research in Graph Theory","authors":"Adriaan Peeters","year":"2008","venue":null,"doi":null,"url":null,"internal_url":null},{"position":10,"raw":"[Pepper, 2009] Ryan Pepper. On the annihilation number of a graph. Recent Advances in Applied Mathematics and Computational And Information Sciences, 1:217-220, 2009.","title":"On the annihilation number of a graph","authors":"Ryan Pepper","year":"2009","venue":"Recent Advances in Applied Mathematics and Computational And Information Sciences","doi":null,"url":null,"internal_url":null},{"position":11,"raw":"[Simon and Newell, 1958] Herbert A. Simon and Allen Newell. Heuristic problem solving: The next advance in operations research. Operations Research, 6(1):1-10, 1958.","title":"Heuristic problem solving: The next advance in operations research","authors":"Herbert A Simon, Allen Newell","year":"1958","venue":"Operations Research","doi":null,"url":null,"internal_url":null},{"position":12,"raw":"[Stein, 2008] William Stein. Sage: Open Source Mathemat- ical Software (Version 2.10.2). The Sage Group, 2008. http://www.sagemath.org.","title":"Sage: Open Source Mathematical Software","authors":"William Stein, Stein","year":"2008","venue":null,"doi":null,"url":"http://www.sagemath.org","internal_url":null},{"position":13,"raw":"[Turing, 2004] Alan Turing. Intelligent machinery. The Es- sential Turing, pages 395-432, 2004.","title":"Intelligent machinery. The Essential Turing","authors":"Alan Turing","year":"2004","venue":null,"doi":null,"url":null,"internal_url":null},{"position":14,"raw":"[West, 2001] Douglas B. West. Introduction to Graph The- ory, 2 nd edition. Prentice Hall, 2001.","title":"Introduction to Graph Theory","authors":"Douglas B West","year":"2001","venue":null,"doi":null,"url":null,"internal_url":null}],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}