Giampaolo Urbani

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1989

1 Giorgio Gallo, Giampaolo Urbani: Algorithms for Testing the Satisfiability of Propositional Formulae. J. Log. Program. 7(1): 45-61 (1989)

	1989
1		Giorgio Gallo, Giampaolo Urbani: Algorithms for Testing the Satisfiability of Propositional Formulae. J. Log. Program. 7(1): 45-61 (1989)

Coauthor Index