Samuel Pastva

3 papers at tracked venues · 1 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×1 CP ×1 KR ×1

Frequent coauthors

Giang V. Trinh

×3

Mohimenul Kabir

×1

Kuldeep S. Meel

×1

Belaid Benhamou

×1

Sylvain Soliman

×1

Papers

BAss: Symbolic Reasoning in Abstract Dialectical Frameworks
KR 2026 · Samuel Pastva,
Van-Giang Trinh
Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks
CP 2025 ·
Mohimenul Kabir
,
Van-Giang Trinh
, Samuel Pastva,
Kuldeep S. Meel
Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming
AAAI 2024 ·
Giang V. Trinh
,
Belaid Benhamou
, Samuel Pastva,
Sylvain Soliman