메뉴 건너뛰기




Volumn 40, Issue 3-4, 2004, Pages 353-372

Satisfiability-based algorithms for Boolean optimization

Author keywords

Backtrack search; Binate covering problem; Branch and bound; Non chronological backtracking; Propositional satisfiability

Indexed keywords


EID: 4043152845     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1023/b:amai.0000012872.46214.11     Document Type: Article
Times cited : (19)

References (22)
  • 4
    • 0009501569 scopus 로고
    • Two-level logic minimization, an overview, Integration
    • October
    • O. Coudert, Two-level logic minimization, an overview, Integration, The VLSI Journal 17(2) (October 1993) 677-691.
    • (1993) The VLSI Journal , vol.17 , Issue.2 , pp. 677-691
    • Coudert, O.1
  • 16
    • 0004633188 scopus 로고
    • Eindhoven University of Technology, Design Automation Section, ftp://ftp.es.ele.tue.nl/pub/lp_solve
    • M.R.C.M. Berkelaar, UNIX manual page of lp-solve, in: Eindhoven University of Technology, Design Automation Section, ftp://ftp.es.ele.tue.nl/ pub/lp_solve (1992).
    • (1992) UNIX Manual Page of lp-solve
    • Berkelaar, M.R.C.M.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.