Browse Papers
From IFORS
Contact Us
English
Remember me
Login
Forgot password?
Hachemi Bennaceur
Information about the author Hachemi Bennaceur will soon be added to the site.
Found
2 papers
in total
Date Descending
Date Ascending
Title Descending
Title Ascending
An incremental branch-and-bound method for the satisfiability problem
1998
The satisfiability problem is to check whether a set of clauses in propositional logic...
An exact method for the linear constraint satisfaction problem: Application to the satisfiability problem
1994
This paper presents an improved version-denoted FAST93-of our method FAST which proves...
Papers per page:
6 Papers
12 Papers
24 Papers
36 Papers
48 Papers
