Showing 1–20 of 40 results
/ Date/ Name
Apr 24, 2026An Undecidability Proof for the Plan Existence ProblemApr 24, 2026BLAST: Benchmarking LLMs with ASP-based Structured TestingApr 23, 2026A general optimization solver based on OP-to-MaxSAT reductionApr 23, 2026A-IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model CheckingApr 23, 2026Using ASP(Q) to Handle Inconsistent Prioritized DataApr 23, 2026Satisfying Rationality Postulates of Structured Argumentation Through Deductive Support -- Technical ReportApr 22, 2026Deductive Verification of Weak Memory Programs with View-based Protocols (extended version)Apr 21, 2026SAT + NAUTY: Orderly Generation of Small Kochen-Specker Sets Containing the Smallest State-independent Contextuality SetApr 19, 2026Atomic Decision Boundaries: A Structural Requirement for Guaranteeing Execution-Time Admissibility in Autonomous SystemsApr 18, 2026Bolzano: Case Studies in LLM-Assisted Mathematical ResearchMar 29, 2026Automated Reencoding Meets Graph TheoryMar 20, 2026Jean-Raymond Abrial: A Scientific Biography of a Formal Methods PioneerMay 22, 2025A Game for Counting Logic Formula Size and an Application to Linear OrdersFeb 20, 2025Partial Incorrectness LogicOct 2, 2024Finite element method. Detailed proofs to be formalized in CoqMar 26, 2024Formal Verification of the Empty Hexagon NumberJul 4, 2023Effective Auxiliary Variables via Structured ReencodingMay 30, 2023On the algebraic proof complexity of Tensor IsomorphismNov 22, 2022Exponential separations using guarded extension variablesJul 22, 2022Towards the shortest DRAT proof of the Pigeonhole Principle