Frontiers of Combining Systems

DOI10.1007/11559306zbMath1171.03321OpenAlexW4205914269MaRDI QIDQ5491895

Khalil Djelloul

Publication date: 10 October 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11559306

Mathematics Subject Classification ID

Logic in computer science (03B70) Data structures (68P05)

Related Items (5)

More on \(\mathrm{SOP}_1\) and \(\mathrm{SOP}_2\) ⋮ An Efficient Decision Procedure for Functional Decomposable Theories Based on Dual Constraints ⋮ A full first-order constraint solver for decomposable theories ⋮ From decomposable to residual theories ⋮ A Full First-Order Constraint Solver for Decomposable Theories

This page was built for publication: Frontiers of Combining Systems