Logical algorithmics: from theory to practice (invited talk)

DOI10.4230/LIPICS.CSL.2024.6MaRDI QIDQ6856053zbMATH OpenFDO

Authors Moshe Y. Vardi

Publication date 19 February 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4230/LIPICS.CSL.2024.6

zbMATH Keywords

algorithmslogic

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites work

• Conjunctive-query containment and constraint satisfaction
• Symbolic techniques in satisfiability solving

This page was built for publication: Logical algorithmics: from theory to practice (invited talk)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6856053)