The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Michal Wrona" ( http://dblp.L3S.de/Authors/Michal_Wrona )

  Author page on DBLP  Author page in RDF  Community of Michal Wrona in ASPL-2

Publication years (Num. hits)
2005-2017 (15) 2019 (1)
Publication types (Num. hits)
article(3) inproceedings(13)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 17 publication records. Showing 16 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Michal Wrona The Complexity of Minimal Inference Problem for Conservative Constraint Languages. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Barnaby Martin, András Pongrácz, Michal Wrona The complexity of counting quantifiers on equality languages. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michal Wrona Minimal Inference Problem Over Finite Domains: The Landscape of Complexity. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michal Wrona The complexity of minimal inference problem for conservative constraint languages. Search on Bibsonomy LICS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Barnaby Martin, András Pongrácz, Michal Wrona The Complexity of Counting Quantifiers on Equality Languages. Search on Bibsonomy CiE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Manuel Bodirsky, Hubie Chen, Michal Wrona Tractability of quantified temporal constraints to the max. Search on Bibsonomy IJAC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Michal Wrona Local-to-Global Consistency Implies Tractability of Abduction. Search on Bibsonomy AAAI The full citation details ... 2014 DBLP  BibTeX  RDF
1Michal Wrona Tractability Frontier for Dually-Closed Ord-Horn Quantified Constraint Satisfaction Problems. Search on Bibsonomy MFCS (1) The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Johannes Schmidt 0001, Michal Wrona The Complexity of Abduction for Equality Constraint Languages. Search on Bibsonomy CSL The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Michal Wrona Syntactically Characterizing Local-to-Global Consistency in ORD-Horn. Search on Bibsonomy CP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Hubie Chen, Michal Wrona Guarded Ord-Horn: A Tractable Fragment of Quantified Constraint Satisfaction. Search on Bibsonomy TIME The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Manuel Bodirsky, Michal Wrona Equivalence Constraint Satisfaction Problems. Search on Bibsonomy CSL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Witold Charatonik, Michal Wrona Tractable Quantified Constraint Satisfaction Problems over Positive Temporal Templates. Search on Bibsonomy LPAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Witold Charatonik, Michal Wrona Quantified Positive Temporal Constraints. Search on Bibsonomy CSL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Witold Charatonik, Michal Wrona 2-SAT Problems in Some Multi-Valued Logics Based on Finite Lattices. Search on Bibsonomy ISMVL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Michal Wrona Stratified Boolean Grammars. Search on Bibsonomy MFCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #16 of 16 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license