Bridging Constraint Satisfaction and Boolean Satisfiability

Overview of attention for book

Cover of 'Bridging Constraint Satisfaction and Boolean Satisfiability'

Table of Contents

Attention for Chapter 2: Background

Altmetric Badge

Citations

dimensions_citation: 11 Dimensions

Summary Dimensions citations

So far, Dimensions has found 11 publications that cite this research output.

11

The most recent citing publications are shown below. View all 11 publications that cite this research output on Dimensions.

On logical and extensional characterizations of attributed feature models

Article in Theoretical Computer Science (April 2022)

Efficient solution of Boolean satisfiability problems with digital memcomputing

Article in Scientific Reports (November 2020)

In Pursuit of an Efficient SAT Encoding for the Hamiltonian Cycle Problem

Book chapter (September 2020)

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.