Publications

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

Authors:
Alessandro Armando; Maria Paola Bonacina; 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
Nations of authors:
GERMANIA; ITALIA
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:
November 2, 2016
Bibliographic citation:
Alessandro Armando; Maria Paola Bonacina; 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 , 2005pp. 33-41

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

Related projects
Title Department Managers
Sintesi di procedure di decisione basate sulla deduzione con applicazioni all'analisi formale automatica di programmi (PRIN 2003) Department Informatica Maria Paola Bonacina
<<back

Activities

Research facilities