3 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.SE2009★ 3 cited
How to Complete an Interactive Configuration Process?
Mikolas Janota, Goetz Botterweck, Radu Grigore +1
When configuring customizable software, it is useful to provide interactive tool-support that ensures that the configuration does not breach given constraints. But, when is a confi…
cs.DS2009★ 2 cited
Algorithms for finding dispensable variables
Mikolas Janota, Joao Marques-Silva, Radu Grigore
This short note reviews briefly three algorithms for finding the set of dispensable variables of a boolean formula. The presentation is light on proofs and heavy on intuitions.