Niklas Sörensson

	2009
6		Niklas Sörensson, Armin Biere: Minimizing Learned Clauses. SAT 2009: 237-243
	2007
5		Niklas Eén, Alan Mishchenko, Niklas Sörensson: Applying Logic Synthesis for Speeding Up SAT. SAT 2007: 272-286
	2006
4		Niklas Eén, Niklas Sörensson: Translating Pseudo-Boolean Constraints into SAT. JSAT 2(1-4): 1-26 (2006)
	2003
3		Niklas Eén, Niklas Sörensson: An Extensible SAT-solver. SAT 2003: 502-518
2		Reiner Hähnle, Niklas Sörensson: Fair Constraint Merging Tableaux in Lazy Functional Programming Style. TABLEAUX 2003: 252-256
1		Niklas Eén, Niklas Sörensson: Temporal induction by incremental SAT solving. Electr. Notes Theor. Comput. Sci. 89(4): (2003)

Coauthor Index

1	Armin Biere	[6]
2	Niklas Eén	[1] [3] [4] [5]
3	Reiner Hähnle	[2]
4	Alan Mishchenko	[5]

Colors in the list of coauthors