在“SpringerLink电子期刊”中,命中:100条,耗时:小于0.01 秒

在所有数据库中总计命中:46

4. Impact of SAT-Based Preprocessing on Core-Guided MaxSAT Solving
刊名:Lecture Notes in Computer Science
出版年:2016
5. LMHS: A SAT-IP Hybrid MaxSAT Solver
刊名:Lecture Notes in Computer Science
出版年:2016
6. On Incremental Core-Guided MaxSAT Solving
刊名:Lecture Notes in Computer Science
出版年:2016
8. Monte-Carlo Tree Search for the Maximum Satisfiability Problem
刊名:Lecture Notes in Computer Science
出版年:2016
9. Pakota: A System for Enforcement in Abstract Argumentation
刊名:Lecture Notes in Computer Science
出版年:2016
1
2
3
4
5
6
7
8
9
按检索点细分(100)
题名(49)
关键词(12)
文摘(95)
按出版年细分(100)
2017年(1)
2016年(9)
2015年(12)
2014年(15)
2013年(15)
2012年(22)
2011年(3)
2010年(2)
2009年(5)
2008年(6)
2007年(2)
2006年(3)
2005年(5)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via email.