tascpl: {TAS} Solver for Classical Propositional Logic

 

Abstract

Citation

Please, cite this work as:

[OA04] M. Ojeda-Aciego and Agust'. “tascpl: TAS Solver for Classical Propositional Logic”. In: Logics in Artificial Intelligence, 9th European Conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings. Ed. by J. J. Alferes and J. A. Leite. Vol. 3229. Lecture Notes in Computer Science. Springer, 2004, pp. 738-741. DOI: 10.1007/978-3-540-30227-8_70. URL: https://doi.org/10.1007/978-3-540-30227-8_70.

BibTeX

@InProceedings{OjedaAciego2004,
     author = {Manuel Ojeda-Aciego and Agust'Valverde},
     booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings},
     title = {tascpl: {TAS} Solver for Classical Propositional Logic},
     year = {2004},
     editor = {Jos{’e} J{’u}lio Alferes and Jo~ao Alexandre Leite},
     pages = {738–741},
     publisher = {Springer},
     series = {Lecture Notes in Computer Science},
     volume = {3229},
     bibsource = {dblp computer science bibliography, https://dblp.org},
     biburl = {https://dblp.org/rec/conf/jelia/Ojeda-AciegoV04.bib},
     doi = {10.1007/978-3-540-30227-8_70},
     timestamp = {Thu, 25 May 2017 01:00:00 +0200},
     url = {https://doi.org/10.1007/978-3-540-30227-8_70},
}

Papers citing this work

The following is a non-exhaustive list of papers that cite this work:

[1] P. Inverardi, P. Pelliccione, and M. Tivoli. “Towards an assume-guarantee theory for adaptable systems”. In: 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems. IEEE, May. 2009, p. 106–115. DOI: 10.1109/seams.2009.5069079. URL: http://dx.doi.org/10.1109/seams.2009.5069079.