Xiao Yu Li

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2005

4 Xiao Yu Li, Matthias F. M. Stallmann, Franc Brglez: Effective bounding techniques for solving unate and binate covering problems. DAC 2005: 385-390

3 Franc Brglez, Xiao Yu Li, Matthias F. M. Stallmann: On SAT instance classes and a method for reliable performance experiments with SAT solvers. Ann. Math. Artif. Intell. 43(1): 1-34 (2005)

2003

2 Xiao Yu Li, Matthias F. M. Stallmann, Franc Brglez: A Local Search SAT Solver Using an Effective Switching Strategy and an Efficient Unit Propagation. SAT 2003: 53-68

2002

1 Xiao Yu Li, Matthias F. M. Stallmann: New bounds on the barycenter heuristic for bipartite graph drawing. Inf. Process. Lett. 82(6): 293-298 (2002)

	2005
4		Xiao Yu Li, Matthias F. M. Stallmann, Franc Brglez: Effective bounding techniques for solving unate and binate covering problems. DAC 2005: 385-390
3		Franc Brglez, Xiao Yu Li, Matthias F. M. Stallmann: On SAT instance classes and a method for reliable performance experiments with SAT solvers. Ann. Math. Artif. Intell. 43(1): 1-34 (2005)
	2003
2		Xiao Yu Li, Matthias F. M. Stallmann, Franc Brglez: A Local Search SAT Solver Using an Effective Switching Strategy and an Efficient Unit Propagation. SAT 2003: 53-68
	2002
1		Xiao Yu Li, Matthias F. M. Stallmann: New bounds on the barycenter heuristic for bipartite graph drawing. Inf. Process. Lett. 82(6): 293-298 (2002)

Coauthor Index

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page

1	Franc Brglez	[2] [3] [4]
2	Matthias F. M. Stallmann	[1] [2] [3] [4]