@inproceedings{DBLP:conf/cp/DilkasB20,
  author       = {Paulius Dilkas and
                  Vaishak Belle},
  editor       = {Helmut Simonis},
  title        = {Generating Random Logic Programs Using Constraint Programming},
  booktitle    = {Principles and Practice of Constraint Programming - 26th International
                  Conference, {CP} 2020, Louvain-la-Neuve, Belgium, September 7-11,
                  2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12333},
  pages        = {828--845},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-58475-7\_48},
  doi          = {10.1007/978-3-030-58475-7\_48},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cp/DilkasB20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"fMuP8oCdaFjQ44n6C","bibbaseid":"dilkas-belle-generatingrandomlogicprogramsusingconstraintprogramming-2020","author_short":["Dilkas, P.","Belle, V."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Paulius"],"propositions":[],"lastnames":["Dilkas"],"suffixes":[]},{"firstnames":["Vaishak"],"propositions":[],"lastnames":["Belle"],"suffixes":[]}],"editor":[{"firstnames":["Helmut"],"propositions":[],"lastnames":["Simonis"],"suffixes":[]}],"title":"Generating Random Logic Programs Using Constraint Programming","booktitle":"Principles and Practice of Constraint Programming - 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7-11, 2020, Proceedings","series":"Lecture Notes in Computer Science","volume":"12333","pages":"828–845","publisher":"Springer","year":"2020","url":"https://doi.org/10.1007/978-3-030-58475-7\\_48","doi":"10.1007/978-3-030-58475-7_48","timestamp":"Sun, 02 Oct 2022 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/cp/DilkasB20.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/cp/DilkasB20,\n author = {Paulius Dilkas and\n Vaishak Belle},\n editor = {Helmut Simonis},\n title = {Generating Random Logic Programs Using Constraint Programming},\n booktitle = {Principles and Practice of Constraint Programming - 26th International\n Conference, {CP} 2020, Louvain-la-Neuve, Belgium, September 7-11,\n 2020, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {12333},\n pages = {828--845},\n publisher = {Springer},\n year = {2020},\n url = {https://doi.org/10.1007/978-3-030-58475-7\\_48},\n doi = {10.1007/978-3-030-58475-7\\_48},\n timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/cp/DilkasB20.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Dilkas, P.","Belle, V."],"editor_short":["Simonis, H."],"key":"DBLP:conf/cp/DilkasB20","id":"DBLP:conf/cp/DilkasB20","bibbaseid":"dilkas-belle-generatingrandomlogicprogramsusingconstraintprogramming-2020","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-030-58475-7\\_48"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/52/570.bib","dataSources":["ayruv4JDJNMLz7ieC"],"keywords":[],"search_terms":["generating","random","logic","programs","using","constraint","programming","dilkas","belle"],"title":"Generating Random Logic Programs Using Constraint Programming","year":2020}