Witold Charatonik

Jednostki:

Publikacje:

3.
Witold Charatonik, Michał Wrona
Tractable Quantified Constraint Satisfaction Problems over Positive Temporal Templates, Lecture Notes in Artificial Intelligence vol. 5330 (2008), 543-557
2.
Witold Charatonik, Michał Wrona
Quantified Positive Temporal Constraints, Lecture Notes in Computer Science vol. 5213 (2008), 94-108
1.
Witold Charatonik, Michał Wrona
2-SAT Problems in Some Multi-Valued Logics Based on Finite Lattices, 37th International Symposium On Multiple-valued Logic, Ismvl 2007 vol. IEEE Computer Society (2007), 21