Search for persons
X
?
Lecture Notes in Computer Science; SOFSEM 2024: Theory and Practice of Computer Science ,
1
On the Computational Complexity of Generalized Common Shape..:
, In:
?
WALCOM: Algorithms and Computation; Lecture Notes in Computer Science ,
2
Combinatorial Reconfiguration with Answer Set Programming: ..:
, In:
?
Practical Aspects of Declarative Languages; Lecture Notes in Computer Science ,
3
Solving Vehicle Equipment Specification Problems with Answe..:
, In:
?
Logics in Artificial Intelligence; Lecture Notes in Computer Science ,
4
Recongo: Bounded Combinatorial Reconfiguration with Answer ..:
, In:
?
Computational Methods in Systems Biology; Lecture Notes in Computer Science ,
5
SAF: SAT-Based Attractor Finder in Asynchronous Automata Ne..:
, In:
?
Logics in Artificial Intelligence; Lecture Notes in Computer Science ,
6
Hamiltonian Cycle Reconfiguration with Answer Set Programmi..:
, In:
?
Functional and Logic Programming; Lecture Notes in Computer Science ,
10
Solving Constraint Satisfaction Problems with SAT Technolog:
, In:
?
Proceedings of the 10th international conference on Functional and Logic Programming ,
11