Mikolas Janota
AuthID: R-004-VTA
51
TITLE: Counterexample Guided Abstraction Refinement Algorithm for Propositional Circumscription PDF
AUTHORS: Mikolás Janota; João Marques Silva; Radu Grigore;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1006.5896
AUTHORS: Mikolás Janota; João Marques Silva; Radu Grigore;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1006.5896
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv52
TITLE: Algorithms for finding dispensable variables PDF
AUTHORS: Mikolás Janota; João Marques Silva ; Radu Grigore;
PUBLISHED: 2009, SOURCE: CoRR, VOLUME: abs/0910.0013
AUTHORS: Mikolás Janota; João Marques Silva ; Radu Grigore;
PUBLISHED: 2009, SOURCE: CoRR, VOLUME: abs/0910.0013
INDEXED IN: DBLP arXiv
DBLP arXiv53
TITLE: How to Complete an Interactive Configuration Process? PDF
AUTHORS: Mikolás Janota; Goetz Botterweck; Radu Grigore; João Marques Silva;
PUBLISHED: 2009, SOURCE: CoRR, VOLUME: abs/0910.3913
AUTHORS: Mikolás Janota; Goetz Botterweck; Radu Grigore; João Marques Silva;
PUBLISHED: 2009, SOURCE: CoRR, VOLUME: abs/0910.3913
INDEXED IN: DBLP arXiv
DBLP arXiv