ResearcherID Thomson Reuters  

Janota, Mikoláš
Create a ResearcherID badge for this researcher View publications analytics for this researcher
Close
ResearcherID: A-7701-2012
URL: http://www.researcherid.com/rid/A-7701-2012
Subject: Computer Science
Keywords: automated reasoning; quantified boolean formulas; formal methods
ORCID: http://orcid.org/0000-0003-3487-784X
My Institutions (more details)
Primary Institution:
Sub-org/Dept:
Role:
Description:
My URLs: http://sat.inesc-id.pt/~mikolas/
 
 

This list contains papers that I have authored.

publication(s)  
First Page Previous Page Page   of  3  Go Next Page Last Page
  Sort by:    Results per page: 
1.  Title: Minimal Sets over Monotone Predicates in Boolean Formulae
 Author(s): Marques-Silva, Joao; Janota, Mikoláš; Belov, Anton
 Conference: CAV Pages: 592-607 Year: 2013//
added
09-Sep-13
2.  Title: On Computing Minimal Correction Subsets
 Author(s): Marques-Silva, Joao; Heras, Federico; Janota, Mikoláš; et al.
 Conference: IJCAI 2013, Proceedings of the 23rd International Joint Conference on Artificial Intelligence Year: 2013//
added
09-Sep-13
3.  Title: On Propositional QBF Expansions and Q-Resolution
 Author(s): Janota, Mikoláš; Marques-Silva, Joao
 Conference: Theory and Applications of Satisfiability Testing - SAT Volume: 7962 Pages: 67-82 Year: 2013//
added
09-Sep-13
4.  Title: Quantified Maximum Satisfiability: A Core-Guided Approach
 Author(s): Ignatiev, Alexey; Janota, Mikoláš; Marques-Silva, Joao
 Conference: Theory and Applications of Satisfiability Testing - SAT Volume: 7962 Pages: 250-266 Year: 2013//
added
09-Sep-13
5.  Title: Solving QBF with Free Variables
 Author(s): Klieber, William; Janota, Mikoláš; Marques-Silva, Joao; et al.
 Conference: CP Volume: 8124 Pages: 415-431 Year: 2013
added
10-Sep-13
6.  Title: Solving QBF with Free Variables
 Author(s): Klieber, William; Janota, Mikolas; Marques-Silva, Joao; et al.
 Source: Principles and Practice of Constraint Programming, Cp 2013 Volume: 8124 Pages: 415-431 Published: 2013
 Times Cited: 2
added
10-Oct-14
7.  Title: On Computing Minimal Equivalent Subformulas
 Author(s): Belov, Anton; Janota, Mikoláš; Lynce, Inês; et al.
 Conference: CP Volume: 7514 Pages: 158-174 Year: 2012
added
10-Sep-13
8.  Title: On Unit-Refutation Complete Formulae with Existentially Quantified Variables
 Author(s): Bordeaux, Lucas; Janota, Mikoláš; Silva, Joao P. Marques; et al.
 Conference: KR Year: 2012//
added
09-Sep-13
9.  Title: PackUp: Tools for Package Upgradability Solving
 Author(s): Janota, Mikoláš; Lynce, Inês; Manquinho, Vasco M.; et al.
 Source: Journal on Satisfiability, Boolean Modeling and Computation - JSAT Volume: 8 Issue: 1/2 Pages: 89-94 Published: 2012//
added
09-Sep-13
10.  Title: QBf-based boolean function bi-decomposition
 Author(s): Chen, Huan; Janota, Mikoláš; Marques-Silva, João
 Conference: DATE Pages: 816-819 Year: 2012
added
10-Sep-13
publication(s)  
First Page Previous Page Page   of  3  Go Next Page Last Page
  Sort by:    Results per page: