Elsa Carvalho

List of publications from the DBLP Bibliography Server - FAQ

2004

1 EE Elsa Carvalho, João P. Marques Silva: Using Rewarding Mechanisms for Improving Branching Heuristics. SAT 2004

2004
1	EE	Elsa Carvalho, João P. Marques Silva: Using Rewarding Mechanisms for Improving Branching Heuristics. SAT 2004

Coauthor Index

1 João P. Marques Silva (João Marques-Silva) [1]