David Pereira

	2009
2		David Pereira, Inês Lynce, Steven David Prestwich: On Improving Local Search for Unsatisfiability CoRR abs/0910.1244: (2009)
	2007
1		David Pereira, Eugénio C. Oliveira, Nelma Moreira: Formal Modelling of Emotions in BDI Agents. CLIMA VIII 2007: 62-81

Coauthor Index

1	Inês Lynce	[2]
2	Nelma Moreira	[1]
3	Eugénio C. Oliveira (Eugenio Oliveira)	[1]
4	Steven David Prestwich	[2]

Colors in the list of coauthors