Spremljaj
Petr Kučera
Petr Kučera
Preverjeni e-poštni naslov na ktiml.mff.cuni.cz - Domača stran
Naslov
Navedeno
Navedeno
Leto
A subclass of Horn CNFs optimally compressible in polynomial time
E Boros, O Čepek, A Kogan, P Kučera
Annals of mathematics and artificial intelligence 57, 249-291, 2009
282009
Properties of SLUR formulae
O Čepek, P Kučera, V Vlček
SOFSEM 2012: Theory and Practice of Computer Science: 38th Conference on …, 2012
232012
Exclusive and essential sets of implicates of Boolean functions
E Boros, O Čepek, A Kogan, P Kučera
Discrete Applied Mathematics 158 (2), 81-96, 2010
212010
Complexity issues related to propagation completeness
M Babka, T Balyo, O Čepek, Š Gurský, P Kučera, V Vlček
Artificial Intelligence 203, 19-34, 2013
202013
A decomposition method for CNF minimality proofs
E Boros, O Čepek, P Kučera
Theoretical Computer Science 510, 111-126, 2013
192013
Known and new classes of generalized Horn formulae with polynomial recognition and SAT testing
O Čepek, P Kučera
Discrete Applied Mathematics 149 (1-3), 14-52, 2005
142005
Boolean functions with a simple certificate for CNF complexity
P Kučera, P Savický
Discrete Applied Mathematics 160 (4-5), 365-382, 2012
132012
Recognition of interval Boolean functions
O Čepek, D Kronus, P Kučera
Annals of Mathematics and Artificial Intelligence 52 (1), 1-24, 2008
112008
A lower bound on CNF encodings of the at-most-one constraint
P Kučera, P Savický, V Vorel
Theoretical Computer Science 762, 51-73, 2019
102019
On hierarchies over the SLUR class
T Balyo, Š Gurský, P Kucera, V Vlcek
Twelfth International Symposium on Artificial Intelligence and Mathematics …, 2012
102012
Propagation complete encodings of smooth DNNF theories
P Kučera, P Savický
Constraints 27 (3), 327-359, 2022
82022
On the complexity of minimizing the number of literals in Horn formulae
O Cepek, P Kucera
MIS 2004, 3, 2008
82008
Hydras: Complexity on general graphs and a subclass of trees
P Kučera
Theoretical Computer Science 658, 399-416, 2017
72017
Approximating Minimum Representations of Key Horn Functions
K Bérczi, E Boros, O Čepek, P Kučera, K Makino
SIAM Journal on Computing 51 (1), 116-138, 2022
52022
Bounds on the size of PC and URC formulas
P Kučera, P Savický
Journal of Artificial Intelligence Research 69, 1395-1420, 2020
52020
Boolean functions with long prime implicants
O Čepek, P Kučera, S Kuřík
Information Processing Letters 113 (19-21), 698-703, 2013
52013
Backdoor decomposable monotone circuits and propagation complete encodings
P Kučera, P Savický
Proceedings of the AAAI Conference on Artificial Intelligence 35 (5), 3832-3840, 2021
32021
Unique key Horn functions
K Bérczi, E Boros, O Čepek, P Kučera, K Makino
Theoretical Computer Science 922, 170-178, 2022
22022
Generating clause sequences of a CNF formula
K Bérczi, E Boros, O Čepek, K Elbassioni, P Kučera, K Makino
Theoretical computer science 856, 68-74, 2021
22021
Backdoor decomposable monotone circuits and their propagation complete encodings
P Kučera, P Savický
arXiv preprint arXiv:1811.09435, 2018
22018
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Članki 1–20