Abstract

In this paper we describe the infrastructure supporting confluence tools and competitions: Cops, the confluence problems database, and CoCoWeb, a convenient web interface for tools that participate in the annual confluence competition.

BibTeX Entry

@inproceedings{HNM-IJCAR18,
 author    = "Nao Hirokawa and Julian Nagele and Aart Middeldorp",
 title     = "Cops and {CoCoWeb}: Infrastructure for Confluence Tools",
 booktitle = "Proceedings of the 9th International Joint Conference on
              Automated Reasoning",
 editor    = "Didier Galmiche and Stephan Schulz and Roberto Sebastiani",
 series    = "Lecture Notes in Artificial Intelligence",
 volume    = 10900,
 pages     = "346--353",
 year      = 2018,
 doi       = "10.1007/978-3-319-94205-6\_23"
}