Publications

Authors:

Alessandro, Armando; Bonacina, Maria Paola; Silvio, Ranise; Stephan, Schulz

Title:

Big proof engines as little proof engines: new results on rewrite-based satisfiability procedures

Year:

2005

Type of item:

Contributo in atti di convegno

Tipologia ANVUR:

Contributo in Atti di convegno

Language:

Inglese

Format:

A Stampa

Congresso:

Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR), Seventeenth International Conference on Computer Aided Verification (CAV)

Place:

Edinburgh, Scotland, U.K.

Period:

July 2005

Page numbers:

33-41

Note:

The Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR) was held as a satellite of the Seventeenth International Conference on Computer Aided Verification (CAV)

Web page:

http://profs.sci.univr.it/~bonacina/rewsat.html

Product ID:

23780

Handle IRIS:

11562/23780

Deposited On:

December 6, 2007

Last Modified:

August 7, 2022

Bibliographic citation:

Alessandro, Armando; Bonacina, Maria Paola; Silvio, Ranise; Stephan, Schulz, Big proof engines as little proof engines: new results on rewrite-based satisfiability procedures  in Notes of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR) , Proceedings of "Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning (PDPAR), Seventeenth International Conference on Computer Aided Verification (CAV)" , Edinburgh, Scotland, U.K. , July 2005 , 2005 , pp. 33-41

Consulta la scheda completa presente nel repository istituzionale della Ricerca di Ateneo