Valnir Ferreira Jr.

According to our database, Valnir Ferreira Jr. authored at least 4 papers between 2004 and 2006.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2006

Backbone Guided Dynamic Local Search for Propositional Satisfiability.

Valnir Ferreira Jr.

Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2006

2005

Tie Breaking in Clause Weighting Local Search for SAT.

Valnir Ferreira Jr., John Thornton

Proceedings of the AI 2005: Advances in Artificial Intelligence, 2005

2004

Longer-Term Memory in Clause Weighting Local Search for SAT.

Valnir Ferreira Jr., John Thornton

Proceedings of the AI 2004: Advances in Artificial Intelligence, 2004

Additive versus Multiplicative Clause Weighting for SAT.

John Thornton, Duc Nghia Pham, Stuart Bain, Valnir Ferreira Jr.

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004