3 citations · 5 across the 3 of their papers we have counts for
4 papers
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…
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.
Model Checking Event-B by Encoding into Alloy
Paulo J. Matos, Joao Marques-Silva
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While…
On Using Unsatisfiability for Solving Maximum Satisfiability
Joao Marques-Silva, Jordi Planes
Maximum Satisfiability (MaxSAT) is a well-known optimization pro- blem, with several practical applications. The most widely known MAXS AT algorithms are ineffective at solving har…