Author-Patrickeugster on D3S https://d3s.mff.cuni.cz/tags/author-patrickeugster/ Recent content in Author-Patrickeugster on D3S Hugo en CHC Model Validation with Proof Guarantees https://d3s.mff.cuni.cz/publications/otoni_chc_2024/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/otoni_chc_2024/ Theory-Specific Proof Steps Witnessing Correctness of SMT Executions https://d3s.mff.cuni.cz/publications/otoni_theoryspecific_2021/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/otoni_theoryspecific_2021/ Unsatisfiability Proofs for Horn Solving https://d3s.mff.cuni.cz/publications/otoni_unsatisfiability_2025/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/otoni_unsatisfiability_2025/ Validation of CHC Satisfiability with ATHENA https://d3s.mff.cuni.cz/publications/otoni_validation_2025/ Mon, 01 Jan 0001 00:00:00 +0000 https://d3s.mff.cuni.cz/publications/otoni_validation_2025/