Tag sat [155 articles] Export

Recent papers classified by the tag sat.

	A First Step Towards a Unified Proof Checker for QBF [My Copy] Theory and Applications of Satisfiability Testing – SAT 2007 (2007), pp. 201-214. by Toni Jussila, Armin Biere, Carsten Sinz, Daniel Kröning, Christoph Wintersteiger posted to sat qbf certification by Wintersteiger on 2009-11-08 01:06:25 as
	A Concurrent Portfolio Approach to SMT Solving [My Copy] Computer Aided Verification (2009), pp. 715-720. by Christoph Wintersteiger, Youssef Hamadi, Leonardo de Moura posted to smt sat parallel cav by Wintersteiger on 2009-11-08 01:05:07 as
	Why Cumulative Decomposition Is Not as Bad as It Sounds [My Copy] Principles and Practice of Constraint Programming - CP 2009 (2009), pp. 746-761. by Andreas Schutt, Thibaut Feydy, Peter Stuckey, Mark Wallace posted to sat jsp by gkatsi on 2009-11-07 19:49:33 as
	A Decision-Making Procedure for Resolution-Based SAT-Solvers [My Copy] Theory and Applications of Satisfiability Testing – SAT 2008 (2008), pp. 119-132. by Eugene Goldberg posted to sat local-search hybrid cdcl by gkatsi on 2009-11-07 19:46:54 as
	Formal methods for the validation of automotive product configuration data [My Copy] Artif. Intell. Eng. Des. Anal. Manuf., Vol. 17, No. 1. (2003), pp. 75-97. by Carsten Sinz, Andreas Kaiser, Wolfgang Küchlin posted to sat configuration by voronov on 2009-11-04 10:51:10 as
	The logic of constraint satisfaction [My Copy] Artificial Intelligence, Vol. 58, No. 1-3. (December 1992), pp. 3-20. by Alan K. Mackworth posted to sat logic csp by evgenit on 2009-10-21 17:56:19 as
	Multi-resolution on compressed sets of clauses [My Copy] Tools with Artificial Intelligence, 2000. ICTAI 2000. Proceedings. 12th IEEE International Conference on (06 August 2002), pp. 2-10. by P. Chatalic, L. Simon posted to sat resolution bdd by gkatsi on 2009-10-19 14:56:27 as
	An interpolating theorem prover [My Copy] Theoretical Computer Science, Vol. 345, No. 1. (21 November 2005), pp. 101-121. by Kenneth L. McMillan posted to smt sat interpolation by rhishi on 2009-09-30 19:47:09 as along with 1 person msakai
	Efficient conflict driven learning in a boolean satisfiability solver [My Copy] In In ICCAD (2001), pp. 279-285. by Lintao Zhang, Conor F. Madigan posted to sat resolution cdcl by gkatsi on 2009-09-30 13:18:59 as along with 2 people radsz pwais
	Checking Consistency and Completeness of On-Line Product Manuals [My Copy] Journal of Automated Reasoning, Vol. 37, No. 1. (19 August 2006), pp. 45-66. by Carsten Sinz, Wolfgang Küchlin, Dieter Feichtinger, Georg Görtler posted to sat configuration by voronov on 2009-09-29 13:45:11 as
	Generalizing DPLL to Richer Logics [My Copy] Computer Aided Verification (2009), pp. 462-476. by Kenneth L. McMillan, Andreas Kuehlmann, Mooly Sagiv posted to smt sat dpll by rhishi on 2009-09-09 19:57:58 as
	Analyzing Context-Free Grammars Using an Incremental SAT Solver [My Copy] Automata, Languages and Programming (2008), pp. 410-422. by Roland Axelsson, Keijo Heljanko, Martin Lange posted to grammar sat by gkatsi on 2009-08-09 18:51:50 as
	Solving Difficult SAT Instances Using Greedy Clique Decomposition [My Copy] Abstraction, Reformulation, and Approximation (2007), pp. 359-374. by Pavel Surynek posted to clique sat by gkatsi on 2009-07-29 12:50:21 as
	The complexity of satisfiability problems [My Copy] In STOC '78: Proceedings of the tenth annual ACM symposium on Theory of computing (1978), pp. 216-226. by Thomas J. Schaefer posted to horn sat tractable by gkatsi on 2009-07-27 20:21:11 as
	On the Complexity of SAT [My Copy] In FOCS '99: Proceedings of the 40th Annual Symposium on Foundations of Computer Science (1999), 459. by Richard J. Lipton, Anastasios Viglas posted to sat by gkatsi on 2009-07-21 17:56:59 as
	Local Search for Unsatisfiability [My Copy] Theory and Applications of Satisfiability Testing - SAT 2006 (2006), pp. 283-296. by Steven Prestwich, Inês Lynce posted to sat resolution by gkatsi on 2009-07-20 19:28:35 as
	Asynchronous team algorithms for Boolean Satisfiability [My Copy] Bio-Inspired Models of Network, Information and Computing Systems, 2007. Bionetics 2007. 2nd In Bio-Inspired Models of Network, Information and Computing Systems, 2007. Bionetics 2007. 2nd (2007), pp. 66-69. by C. Rodriguez, M. Villagra, B. Baran posted to algorithms local sat search team by mvillagra on 2009-06-13 09:29:25 as
	A global convexity analysis on the MAX-SAT domain [My Copy] Bio-Inspired Models of Network, Information and Computing Systems, 2007. Bionetics 2007. 2nd In Bio-Inspired Models of Network, Information and Computing Systems, 2007. Bionetics 2007. 2nd (2007), pp. 74-78. by M. Villagra, B. Baran posted to convexity global sat by mvillagra on 2009-06-13 09:28:04 as
	KBO Orientability [My Copy] Journal of Automated Reasoning by Harald Zankl, Nao Hirokawa, Aart Middeldorp posted to kbo sat termination by radico on 2009-06-04 03:58:07 as
	The Quest for Efficient Boolean Satisfiability Solvers [My Copy] Computer Aided Verification (2002), pp. 641-653. by Lintao Zhang, Sharad Malik posted to sat by dejan on 2009-05-17 18:52:15 as
	A Tourist Guide through Treewidth [My Copy] Acta Cybernetica, Vol. 11 (1993), pp. 1-23. by Hans L. Bodlaender posted to cs261a maxsat sat treewidth by pwais on 2009-04-14 22:42:45 as
	QuickXPlain: Conflict Detection for Arbitrary Constraint Propagation Algorithms [My Copy] (2001) by Ulrich Junker, F- Valbonne posted to configuration explain sat by voronov on 2009-03-25 19:02:29 as
	Using Walk-SAT and Rel-SAT for cryptographic key search [My Copy] In In Proceedings of the International Joint Conference on Arti Intelligence (1999), pp. 290-295. by Fabio Massacci posted to sat by belonesox on 2009-03-25 12:33:16 as
	Efficient SAT-based bounded model checking for software verification [My Copy] Theoretical Computer Science, Vol. In Press, Accepted Manuscript by Franjo Ivancic, Zijiang Yang, Malay K. Ganai, Aarti Gupta, Pranav Ashar posted to bmc sat software-verification by rhishi on 2009-03-11 00:10:11 as along with 1 person yuichi0619
	Analytic and Algorithmic Solution of Random Satisfiability Problems [My Copy] Science, Vol. 297, No. 5582. (2 August 2002), pp. 812-815. by M. Mezard, G. Parisi, R. Zecchina posted to sat survey-propagation by gkatsi on 2009-03-05 01:10:48 as along with 2 people davidecellai jcvasquezb106
	Deciding Effectively Propositional Logic Using DPLL and Substitution Sets [My Copy] Automated Reasoning (2008), pp. 410-425. by Leonardo de Moura, Nikolaj Bjørner posted to sat smt by rhishi on 2009-03-04 22:49:43 as
	A compact model for speaker-adaptive training [My Copy] Spoken Language, 1996. ICSLP 96. Proceedings., Fourth International Conference on In Spoken Language, 1996. ICSLP 96. Proceedings., Fourth International Conference on, Vol. 2 (1996), pp. 1137-1140 vol.2. by T. Anastasakos, J. Mcdonough, R. Schwartz, J. Makhoul posted to sat by zzb3886 on 2009-02-21 02:09:22 as
	A practical reconfigurable hardware accelerator for Boolean satisfiability solvers [My Copy] In DAC '08: Proceedings of the 45th annual conference on Design automation (2008), pp. 780-785. by John D. Davis, Zhangxi Tan, Fang Yu, Lintao Zhang posted to bcp co-processor fpga reconfigurable sat satisfiability solver week11 by jmw0116 to the group rit_ee732 on 2009-02-19 19:36:31 as
	MPE-based discriminative linear transform for speaker adaptation [My Copy] Acoustics, Speech, and Signal Processing, 2004. Proceedings. (ICASSP '04). IEEE International Conference on In Acoustics, Speech, and Signal Processing, 2004. Proceedings. (ICASSP '04). IEEE International Conference on, Vol. 1 (2004), pp. I-321-4 vol.1. by L. Wang, P. Woodland posted to sat by zzb3886 on 2009-02-18 22:48:04 as
	A fast SAT solver algorithm best suited to reconfigurable hardware [My Copy] In SBCCI '06: Proceedings of the 19th annual symposium on Integrated circuits and systems design (2006), pp. 131-136. by Romanelli Zuim, José T. de Sousa, Claudionor N. Coelho posted to boolean d-sharp fpga monday reconfigurable sat satisfiability specific week9 by jmw0116 to the group rit_ee732 on 2009-02-09 17:24:57 as
	Computing Vertex Eccentricity in Exponentially Large Graphs: QBF Formulation and Solution [My Copy] Theory and Applications of Satisfiability Testing (2004), pp. 337-339. by Maher Mneimneh, Karem Sakallah posted to qbf sat by gkatsi on 2009-01-20 06:43:51 as
	A refined search tree technique for dominating set on planar graphs [My Copy] J. Comput. Syst. Sci., Vol. 71, No. 4. (2005), pp. 385-405. by Jochen Alber, Hongbing Fan, Michael R. Fellows, et al.Henning Fernau, Rolf Niedermeier, Fran Rosamond, Ulrike Stege posted to algorithms cs264a cs280ap sat snptagging by pwais on 2008-12-06 22:46:45 as
	Approximation Algorithms for Combinatorial Problems [My Copy] J. Comput. Syst. Sci., Vol. 9, No. 3. (1974), pp. 256-278. by David S. Johnson posted to cs264a sat snptagging by pwais on 2008-12-02 23:42:35 as
	Recursive conditioning [My Copy] Artificial Intelligence, Vol. 126, No. 1-2. (February 2001), pp. 5-41. by A. Darwiche posted to cs264a sat by pwais on 2008-11-20 02:31:16 as
	Decomposable negation normal form [My Copy] Journal of the ACM, Vol. 48 (2001) by Adnan Darwiche posted to cs264a sat by pwais on 2008-11-11 20:35:24 as
	A knowledge compilation map [My Copy] Journal of Artificial Intelligence Research, Vol. 17 (2002), pp. 229-264. by Adnan Darwiche, Pierre Marquis posted to cs264a sat by pwais on 2008-11-09 22:26:33 as
	Finding Minimal Unsatisfiable Cores of Declarative Specifications [My Copy] FM 2008: Formal Methods (2008), pp. 326-341. by Emina Torlak, Felix Chang, Daniel Jackson posted to alloy cores formal methods sat unsat by pmatos to the group Propositional Satisfiability and Extensions on 2008-10-30 11:02:05 as
	Formalizing Dangerous SAT Encodings [My Copy] Theory and Applications of Satisfiability Testing – SAT 2007 (2007), pp. 159-172. by Alexander Hertel, Philipp Hertel, Alasdair Urquhart posted to maxsat sat snptagging by pwais on 2008-10-20 17:52:21 as along with 1 person gkatsi
	Efficient Genome Wide Tagging by Reduction to SAT [My Copy] In WABI, Vol. 5251 (2008), pp. 135-147. by Arthur Choi, Noah Zaitlen, Buhm Han, Knot Pipatsrisawat, Adnan Darwiche, Eleazar Eskin edited by Keith A. Crandall, Jens Lagergren, Keith A. Crandall, Jens Lagergren posted to maxsat sat snptagging by pwais on 2008-10-20 08:41:45 as
	Complete unrestricted backtracking algorithms for satisfiability [My Copy] In In Proceedings of the International Symposium on Theory and Applications of Satisfiability Testing, Vol. 2002 (2002), pp. 214-221. by I. Lynce, L. Baptista, J. Marques-Silva posted to cs264a restarting sat by pwais on 2008-10-14 09:18:20 as
	Chaff: Engineering an Efficient SAT Solver [My Copy] (2001), pp. 530-535. by Matthew W. Moskewicz, Conor F. Madigan posted to cs264a restarting sat by pwais on 2008-10-14 08:58:38 as
	Symmetry-breaking predicates for search problems [My Copy] (1996), pp. 148-159. by James Crawford, Matthew Ginsberg, Eugene Luks, Amitabha Roy posted to cs264a sat by pwais on 2008-10-12 21:15:17 as
	Decompositions of Grammar Constraints [My Copy] In AAAI (2008), pp. 1567-1570. by Claude G. Quimper, Toby Walsh edited by Dieter Fox, Carla P. Gomes, Dieter Fox, Carla P. Gomes posted to cs264a restarting sat by pwais on 2008-10-12 20:59:10 as
	Breaking Value Symmetry [My Copy] In AAAI (2008), pp. 1585-1588. by Toby Walsh edited by Dieter Fox, Carla P. Gomes, Dieter Fox, Carla P. Gomes posted to cs264a restarting sat by pwais on 2008-10-12 20:58:26 as
	Generalizing Boolean satisfiability III: Implementation. Tech. rep., On Time Systems [My Copy] Journal of Artificial Intelligence Research, Vol. 23 (2004), pp. 441-531. by Heidi E. Dixon, Matthew L. Ginsberg, David Hofer, Eugene M. Luks, Andrew J. Parkes posted to sat zap by pwais on 2008-10-12 06:17:31 as
	Generalizing Boolean Satisability I: Background and Survey of Existing Work [My Copy] by Heidi E. Dixon, Matthew L. Ginsberg, Andrew J. Parkes posted to sat zap by pwais on 2008-10-12 06:13:14 as
	Generalizing Boolean satisfiability II: Theory [My Copy] Journal of Artificial Intelligence Research, Vol. 22 (2004), pp. 481-534. by Heidi E. Dixon, Matthew L. Ginsberg, Eugene M. Luks, Andrew J. Parkes posted to sat zap by pwais on 2008-10-12 06:11:46 as
	A SAT Solver Primer [My Copy] Bulletin of the EATCS, Vol. 85 (2005), pp. 112-132. by David G. Mitchell posted to cs264a restarting sat by pwais on 2008-10-06 21:06:22 as
	Boosting combinatorial search through randomization [My Copy] (1998), pp. 431-437. by Carla P. Gomes, Bart Selman, Henry Kautz posted to cs264a restarting sat search by pwais on 2008-10-05 23:55:31 as
	Adaptive Restart Strategies for Conflict Driven SAT Solvers [My Copy] Theory and Applications of Satisfiability Testing – SAT 2008 (2008), pp. 28-33. by Armin Biere posted to cs264a restarting sat by pwais on 2008-10-04 21:37:16 as

Note: You may cite this page as: http://www.citeulike.org/tag/sat

Result page: 1 2 3 4 Next

cs264a	20
restarting	13
planning	10
ai	8
solver	7
bdd	6
des	6
model_checking	6
satisfiability	6
smt	6
testing	6
alloy	5
bp	5
coding-theory	5
logic	5
lp	5
open-problems	5
presburger	5
random-sat	5
arithmetic	4
bmc	4
cnf	4
constraint	4
da	4
fpga	4
mogentes	4
project-planning	4
reconfigurable	4
resolution	4
snptagging	4
variable	4
algorithms	3
cdcl	3
complexity	3
configuration	3
csp	3
incremental	3
limitedlookahead	3
maxsat	3
minisat	3
model	3
optimization	3
ordering	3
sat-solver	3
survey	3
unsat	3
week9	3
zap	3
2007	2
algorithm	2
ase	2
bcp	2
boolean	2
co-processor	2
constraints	2
cores	2
counting	2
d-sharp	2
dpll	2
formal	2
hldvt	2
java	2
llp	2
localsearch	2
methods	2
monday	2
parallel-sat	2
programming	2
qbf	2
search	2
softnet	2
specific	2
spinorama	2
termination	2
test-case-generation	2
verification	2
adolescents	1
benchmark	1
biere	1
bio	1
certification	1
checking	1
circuit	1
completeness	1
cs261a	1
dblp	1
dichotomy	1
enumeration	1
formal-methods	1
horn	1
hybrid	1
iccad	1
meta-learning	1
model-checking	1
popl05	1
propagation	1
rtl	1
spectral	1
team	1
unit-propagation	1

Tag sat [155 articles] Export

Related Tags