1
TITLE: Tractability: Practical Approaches to Hard Problems
AUTHORS: Lucas Bordeaux; Youssef Hamadi; Pushmeet Kohli;
PUBLISHED: 2014
INDEXED IN: DBLP
2
TITLE: Knowledge Compilation with Empowerment
AUTHORS: Lucas Bordeaux; João Marques Silva ;
PUBLISHED: 2012, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef Unpaywall
3
TITLE: On Unit-Refutation Complete Formulae with Existentially Quantified Variables
AUTHORS: Lucas Bordeaux; Mikolás Janota; João P Marques Silva ; Pierre Marquis;
PUBLISHED: 2012, SOURCE: 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
INDEXED IN: Scopus DBLP