搜索页_Satisfiability+problem

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

外文资源

Springer电子图书(14)	ProQuest学位论文(59)	Elsevier电子期刊(534)
SpringerLink电子期刊(1566)	NATURE电子期刊(2)	ACS电子期刊(3)

在“Elsevier电子期刊”中，命中：534条，耗时：0.0479641 秒

在所有数据库中总计命中：2,178条

1.Strong partial clones and the time complexity of SAT problems

作者：Peter Jonsson^a ; ^{peter.jonsson@liu.se" class="auth_mail" title="E-mail the corresponding author} ; Victor Lagerkvist^b ; ^{victor.lagerqvist@tu-dresden.de" class="auth_mail" title="E-mail the corresponding author} ; Gustav Nordh^c ; ^{gustav.nordh@gmail.com" class="auth_mail" title="E-mail the corresponding author} ; Bruno Zanuttini^d ; ^{bruno.zanuttini@unicaen.fr" class="auth_mail" title="E-mail the corresponding author}

关键词：Satisfiability problems ; Computational complexity ; Clone theory ; Universal algebra ; Subexponential time

刊名：Journal of Computer and System Sciences

出版年：2017

2.A probabilistic study of generalized solution concepts in satisfiability testing and constraint programming

作者：Peng Zhang ; Yong Gao ; ^{yong.gao@ubc.ca}

关键词：Generalized solution concepts ; Super solutions ; Satisfiability ; Constraint satisfaction ; Random instances ; Probabilistic method ; Threshold phenomena

刊名：Theoretical Computer Science

出版年：2017

3.On semidefinite least squares and minimal unsatisfiability

作者：Miguel F. Anjos^a ; ^{anjos@stanfordalumni.org} ; Manuel V.C. Vieira^b ; ^{mvcv@fct.unl.pt}

关键词：Semidefinite programming ; Satisfiability ; Minimal unsatisfiability ; Farkas&rsquo ; Lemma ; Semidefinite least squares

刊名：Discrete Applied Mathematics

出版年：2017

4.The Configurable SAT Solver Challenge (CSSC)

作者：Frank Hutter^a ; ^{fh@cs.uni-freiburg.de} ; Marius Lindauer^a ; ^{lindauer@cs.uni-freiburg.de} ; Adrian Balint^b ; ^{adrian.balint@uni-ulm.de} ; Sam Bayless^c ; ^{sbayless@cs.ubc.ca} ; Holger Hoos^c ; ^{hoos@cs.ubc.ca} ; Kevin Leyton-Brown^c ; ^{kevinlb@cs.ubc.ca}

关键词：Propositional satisfiability ; Algorithm configuration ; Empirical evaluation ; Competition

刊名：Artificial Intelligence

出版年：2017

5.Satisfiability of general intruder constraints with and without a set constructor

作者：Tigran Avanesov^a ; ^{tigran.avanesov@uni.lu} ; Yannick Chevalier^b ; ^{yannick.chevalier@irit.fr} ; Michael Rusinowitch^c ; ^{michael.rusinowitch@inria.fr} ; Mathieu Turuani^c ; ^{mathieu.turuani@inria.fr}

关键词：ACI ; Deducibility constraints ; Dolev&ndash ; Yao deduction system ; Multiple intruders ; Security

刊名：Journal of Symbolic Computation

出版年：2017

6.Two approximate algorithms for model counting

作者：Jinyan Wang^a ; ^b ; ^{wangjy612@gxnu.edu.cn} ; Minghao Yin^c ; Jingli Wu^a ; ^b

关键词：Propositional satisfiability ; Model counting ; Resolution principle ; Extension rule

刊名：Theoretical Computer Science

出版年：2017

7.Directed hypergraphs: Introduction and fundamental algorithms—A survey

作者：Giorgio Ausiello ^{ausiello@dis.uniroma1.it} ; Luigi Laura ; ^{laura@dis.uniroma1.it} ;

关键词：Directed hypergraphs ; Transitive closure ; Transitive reduction ; Shortest hyperpaths

刊名：Theoretical Computer Science

出版年：2017

8.Vertex 2-coloring without monochromatic cycles of fixed size is NP-complete

作者：Michał Karpiński ^{karp@cs.uni.wroc.pl}

关键词：Graph coloring ; Sat ; Computational complexity ; Monochromatic cycles

刊名：Theoretical Computer Science

出版年：2017

9.A logical characterization of timed regular languages

作者：Marcello M. Bersani^a ; ^{marcellomaria.bersani@polimi.it} ; Matteo Rossi^a ; ^{matteo.rossi@polimi.it} ; Pierluigi San Pietro^a ; ^b ; ^{pierluigi.sanpietro@polimi.it}

关键词：Timed automata ; Dense-time temporal logic ; Constraint linear temporal logic

刊名：Theoretical Computer Science

出版年：2017

10.The Incremental Satisfiability Problem for a Two Conjunctive Normal Form

作者：Guillermo De Ita Luna ^{deita@cs.buap.mx}

关键词：Satisfiability Problem ; Incremental Satisfiability Problem ; 2-SAT ; Entail Propositional Problem ; Efficient Satisfiability Instances

刊名：Electronic Notes in Theoretical Computer Science

出版年：2016

按检索点细分(534)

题名(48)

关键词(69)

文摘(418)

按出版年细分(534)

2027年及以后(7)

2017年(9)

2016年(20)

2015年(6)

2014年(1)

2013年(21)

2012年(23)

2011年(26)

2010年(25)

2009年(30)

2008年(33)

2007年(36)

2006年(28)

2005年(37)

2004年(19)

2003年(38)

2002年(20)

2001年(36)

2000年(18)

2000年及以前(101)