http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
https://www.riss.kr/link?id=O41634296
2005년
eng
1012-2443
1573-7470
SCIE;SCOPUS
학술저널
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE
211-221 [※수록면이 p5 이하이면, Review, Columns, Editor's Note, Abstract 등일 경우가 있습니다.]
0
상세조회0
다운로드
On SAT Instance Classes and a Method for Reliable Performance Experiments with SAT Solvers
On Exact Selection of Minimally Unsatisfiable Subformulae
The Complexity of Boolean Constraint Satisfaction Local Search Problems
Testing Satisfiability of CNF Formulas by Computing a Stable Set of Points