University of Stirling Stirling United Kingdom



주요 연구 분야: Verification



📄 기관 상세정보

출판수1
총 인용수6
평균 인용수6.00
저자 수2
좋아요 수0
연도별 출판 논문
파트별 논문
기관 키워드
공동 기관 관계도

논문 목록 (1건)


On funnel depths and acceptance criteria in stochastic local search
키워드: #analysed #networks #combinatorial #metaheuristic #quadratic
파트: Verification | 연도: 2022