BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
2 × USA
Collaborated with:
F.Manyà A.Cabiscol C.Ansótegui C.M.Li C.Fernández C.P.Gomes
Talks about:
valu (2) mani (2) resolut (1) formula (1) method (1) extend (1) reach (1) logic (1) sat (1) cnf (1)

Person: Ramón Béjar

DBLP DBLP: B=eacute=jar:Ram=oacute=n

Contributed to:

SAT 20022002
SAT 20012001

Wrote 2 papers:

Resolution methods for many-valued CNF formulas (FM, CA, RB, AC, CML), p. 42.
SAT-2001-BejarCFMG #logic #satisfiability
Extending the Reach of SAT with Many-Valued Logics (RB, AC, CF, FM, CPG), pp. 392–407.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.