Ping Gao

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:

Ask others: ACM DL/Guide -

2009

3 Miroslav N. Velev, Ping Gao: Efficient SAT Techniques for Relative Encoding of Permutations with Constraints. Australasian Conference on Artificial Intelligence 2009: 517-527

2 Miroslav N. Velev, Ping Gao: Efficient SAT-based techniques for Design of Experiments by using static variable ordering. ISQED 2009: 371-376

2008

1 Miroslav N. Velev, Ping Gao: Comparison of Boolean Satisfiability Encodings on FPGA Detailed Routing Problems. DATE 2008: 1268-1273

	2009
3		Miroslav N. Velev, Ping Gao: Efficient SAT Techniques for Relative Encoding of Permutations with Constraints. Australasian Conference on Artificial Intelligence 2009: 517-527
2		Miroslav N. Velev, Ping Gao: Efficient SAT-based techniques for Design of Experiments by using static variable ordering. ISQED 2009: 371-376
	2008
1		Miroslav N. Velev, Ping Gao: Comparison of Boolean Satisfiability Encodings on FPGA Detailed Routing Problems. DATE 2008: 1268-1273

Coauthor Index