Radu Grigore
AuthID: R-00F-T1K
1
TÃTULO: On QBF Proofs and Preprocessing
AUTORES: Mikolás Janota; Radu Grigore; João Marques Silva ;
PUBLICAÇÃO: 2013, FONTE: 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2013 in Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings, VOLUME: 8312
AUTORES: Mikolás Janota; Radu Grigore; João Marques Silva ;
PUBLICAÇÃO: 2013, FONTE: 19th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2013 in Logic for Programming, Artificial Intelligence, and Reasoning - 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings, VOLUME: 8312
2
TÃTULO: On QBF Proofs and Preprocessing PDF
AUTORES: Mikolás Janota; Radu Grigore; João Marques Silva;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1310.2491
AUTORES: Mikolás Janota; Radu Grigore; João Marques Silva;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1310.2491
INDEXADO EM: DBLP arXiv
3
TÃTULO: Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription
AUTORES: Mikolas Janota; Radu Grigore; Joao Marques Silva ;
PUBLICAÇÃO: 2010, FONTE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341
AUTORES: Mikolas Janota; Radu Grigore; Joao Marques Silva ;
PUBLICAÇÃO: 2010, FONTE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341
4
TÃTULO: How to Complete an Interactive Configuration Process?
AUTORES: Mikolás Janota; Goetz Botterweck; Radu Grigore; João P Marques Silva ;
PUBLICAÇÃO: 2010, FONTE: 36th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2010 in SOFSEM 2010: Theory and Practice of Computer Science, 36th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings, VOLUME: 5901
AUTORES: Mikolás Janota; Goetz Botterweck; Radu Grigore; João P Marques Silva ;
PUBLICAÇÃO: 2010, FONTE: 36th Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2010 in SOFSEM 2010: Theory and Practice of Computer Science, 36th Conference on Current Trends in Theory and Practice of Computer Science, Spindleruv Mlýn, Czech Republic, January 23-29, 2010. Proceedings, VOLUME: 5901
5
TÃTULO: Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription PDF
AUTORES: Mikolás Janota; João Marques Silva; Radu Grigore;
PUBLICAÇÃO: 2010, FONTE: CoRR, VOLUME: abs/1006.5896
AUTORES: Mikolás Janota; João Marques Silva; Radu Grigore;
PUBLICAÇÃO: 2010, FONTE: CoRR, VOLUME: abs/1006.5896
INDEXADO EM: DBLP arXiv
6
TÃTULO: Algorithms for finding dispensable variables PDF
AUTORES: Mikolás Janota; João Marques Silva ; Radu Grigore;
PUBLICAÇÃO: 2009, FONTE: CoRR, VOLUME: abs/0910.0013
AUTORES: Mikolás Janota; João Marques Silva ; Radu Grigore;
PUBLICAÇÃO: 2009, FONTE: CoRR, VOLUME: abs/0910.0013
INDEXADO EM: DBLP arXiv
7
TÃTULO: How to Complete an Interactive Configuration Process? PDF
AUTORES: Mikolás Janota; Goetz Botterweck; Radu Grigore; João Marques Silva;
PUBLICAÇÃO: 2009, FONTE: CoRR, VOLUME: abs/0910.3913
AUTORES: Mikolás Janota; Goetz Botterweck; Radu Grigore; João Marques Silva;
PUBLICAÇÃO: 2009, FONTE: CoRR, VOLUME: abs/0910.3913
INDEXADO EM: DBLP arXiv