Olga Ohrimenko

	2009
4		Olga Ohrimenko, Peter J. Stuckey, Michael Codish: Propagation via lazy clause generation. Constraints 14(3): 357-391 (2009)
	2008
3		Olga Ohrimenko, Peter J. Stuckey: Modelling for Lazy Clause Generation. CATS 2008: 27-37
	2007
2		Olga Ohrimenko, Peter J. Stuckey, Michael Codish: Propagation = Lazy Clause Generation. CP 2007: 544-558
1		Aaron Harwood, Olga Ohrimenko: Mean Field Models of Message Throughput in Dynamic Peer-to-Peer Systems CoRR abs/0705.2065: (2007)

Coauthor Index

1	Michael Codish	[2] [4]
2	Aaron Harwood	[1]
3	Peter J. Stuckey	[2] [3] [4]

Colors in the list of coauthors