BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Finland
1 × France
1 × Germany
1 × Hungary
1 × India
1 × Japan
1 × Russia
2 × Italy
2 × USA
Collaborated with:
J.Marques-Silva J.P.M.Silva A.Ignatiev G.Botterweck J.R.Kiniry A.Belov H.Chen V.Kuzina A.Wasowski L.Bordeaux P.Marquis W.Klieber E.M.Clarke M.Neves R.Martins I.Lynce V.M.Manquinho
Talks about:
model (3) base (3) qbf (3) quantifi (2) approach (2) resolut (2) formula (2) boolean (2) featur (2) solv (2)

Person: Mikolás Janota

DBLP DBLP: Janota:Mikol=aacute=s

Contributed to:

SAT 20152015
ICSE 20142014
CAV 20132013
SAT 20132013
DATE 20122012
KR 20122012
SAT 20122012
SAT 20112011
FASE 20082008
MoDELS 20082008
SPLC 20072007

Wrote 12 papers:

SAT-2015-NevesMJLM #satisfiability
Exploiting Resolution-Based Representations for MaxSAT Solving (MN, RM, MJ, IL, VMM), pp. 272–286.
ICSE-2014-IgnatievJM #optimisation #performance #towards
Towards efficient optimization in package management systems (AI, MJ, JMS), pp. 745–755.
CAV-2013-Marques-SilvaJB #set
Minimal Sets over Monotone Predicates in Boolean Formulae (JMS, MJ, AB), pp. 592–607.
SAT-2013-IgnatievJM #approach #quantifier #satisfiability
Quantified Maximum Satisfiability: — A Core-Guided Approach (AI, MJ, JMS), pp. 250–266.
SAT-2013-JanotaM #on the
On Propositional QBF Expansions and Q-Resolution (MJ, JMS), pp. 67–82.
QBf-based boolean function bi-decomposition (HC, MJ, JMS), pp. 816–819.
KR-2012-BordeauxJSM #on the #quantifier
On Unit-Refutation Complete Formulae with Existentially Quantified Variables (LB, MJ, JPMS, PM).
SAT-2012-JanotaKMC #refinement
Solving QBF with Counterexample Guided Refinement (MJ, WK, JMS, EMC), pp. 114–128.
SAT-2011-JanotaS #algorithm
Abstraction-Based Algorithm for 2QBF (MJ, JPMS), pp. 230–244.
FASE-2008-JanotaB #approach #architecture #formal method #modelling
Formal Approach to Integrating Feature and Architecture Models (MJ, GB), pp. 31–45.
MoDELS-2008-JanotaKW #constraints #interactive #semantics #syntax
Model Construction with External Constraints: An Interactive Journey from Semantics to Syntax (MJ, VK, AW), pp. 431–445.
SPLC-2007-JanotaK #feature model #higher-order #logic #modelling #reasoning
Reasoning about Feature Models in Higher-Order Logic (MJ, JRK), pp. 13–22.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.