Login / Signup
Huicong He
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Satisfiability Testing
Minimal Models
Propositional Logic
Davis Putnam
Top Venues
ICMLC
</>
Publications
</>
Hairui Jia
,
Yang Xu
,
Yi Liu
,
Huicong He
1-minimal resolution principle based on lattice-valued propositional logic LP(X).
ICMLC
(2013)