Publications

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

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 , 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