A Study on Boolean Constraint Solvers

Satoshi Menju, Akira Aiba

Research output: Contribution to journalArticle

Original languageEnglish
JournalConstraint Logic Programming: Selected Works
Publication statusPublished - 1993 Jan 1

Cite this

A Study on Boolean Constraint Solvers. / Menju, Satoshi; Aiba, Akira.

In: Constraint Logic Programming: Selected Works, 01.01.1993.

Research output: Contribution to journalArticle

@article{c6f81e45d5a0432fbc1717e72ef40426,
title = "A Study on Boolean Constraint Solvers",
author = "Satoshi Menju and Akira Aiba",
year = "1993",
month = "1",
day = "1",
language = "English",
journal = "Constraint Logic Programming: Selected Works",

}

TY - JOUR

T1 - A Study on Boolean Constraint Solvers

AU - Menju, Satoshi

AU - Aiba, Akira

PY - 1993/1/1

Y1 - 1993/1/1

M3 - Article

JO - Constraint Logic Programming: Selected Works

JF - Constraint Logic Programming: Selected Works

ER -