Lucas Bordeaux
AuthID: R-00H-88H
1
TÃTULO: Tractability: Practical Approaches to Hard Problems
AUTORES: Lucas Bordeaux; Youssef Hamadi; Pushmeet Kohli;
PUBLICAÇÃO: 2014
AUTORES: Lucas Bordeaux; Youssef Hamadi; Pushmeet Kohli;
PUBLICAÇÃO: 2014
INDEXADO EM: 
DBLP
DBLP2
TÃTULO: Knowledge Compilation with Empowerment
AUTORES: Lucas Bordeaux; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: 38th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2012 in SOFSEM 2012: Theory and Practice of Computer Science - 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012. Proceedings, VOLUME: 7147
AUTORES: Lucas Bordeaux; João Marques Silva ;
PUBLICAÇÃO: 2012, FONTE: 38th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2012 in SOFSEM 2012: Theory and Practice of Computer Science - 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012. Proceedings, VOLUME: 7147
3
TÃTULO: On Unit-Refutation Complete Formulae with Existentially Quantified Variables
AUTORES: Lucas Bordeaux; Mikolás Janota; João P Marques Silva ; Pierre Marquis;
PUBLICAÇÃO: 2012, FONTE: 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012 in Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012
AUTORES: Lucas Bordeaux; Mikolás Janota; João P Marques Silva ; Pierre Marquis;
PUBLICAÇÃO: 2012, FONTE: 13th International Conference on the Principles of Knowledge Representation and Reasoning, KR 2012 in Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012
INDEXADO EM: 
Scopus DBLP
Scopus DBLP