scientific article; zbMATH DE number 7453115

MaRDI QIDQ5020558

Vincent Barichard, Igor Stéphan

Publication date: 6 January 2022

Full work available at URL: https://arxiv.org/abs/1909.08243

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Logic programming (68N17)

Uses Software

• Quaffle
• CAQE

Cites Work

• Unnamed Item
• Linear logic
• Solving quantified constraint satisfaction problems
• Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction
• BlockSolve: A Bottom-Up Approach for Solving Quantified CSPs
• Constraint Handling Rules
• Theory and practice of constraint handling rules
• Logic Programming
• Principles and Practice of Constraint Programming – CP 2004

This page was built for publication: