Xiao Yu Li

List of publications from the DBLP Bibliography Server - FAQ

2005

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

3 EE 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 EE 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 EE 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	EE	Xiao Yu Li, Matthias F. M. Stallmann, Franc Brglez: Effective bounding techniques for solving unate and binate covering problems. DAC 2005: 385-390
3	EE	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	EE	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	EE	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

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