Logical algorithmics: from relational queries to Boolean reasoning (invited talk)

DOI10.4230/LIPICS.SAT.2024.3MaRDI QIDQ6864443zbMATH OpenFDO

Authors Moshe Y. Vardi

Publication date 3 February 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.4230/LIPICS.SAT.2024.3

zbMATH Keywords

algorithmslogic

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Computational aspects of satisfiability (68R07) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Cites work

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

This page was built for publication: Logical algorithmics: from relational queries to Boolean reasoning (invited talk)

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