Tag sat [170 articles] Export

Recent papers classified by the tag sat.

	Solving satisfiability via Boltzmann machines [My Copy] In Pattern Analysis and Machine Intelligence, IEEE Transactions on, Vol. 15, No. 5. (06 August 2002), pp. 514-521. by A. d'Anjou, M. Grana, F. J. Torrealdea, M. C. Hernandez posted to theory sat-solver sat boltzmann by voronov on 2009-12-08 14:50:25 as
	Solving satisfiability problems by using reconfigurable hardware [My Copy] Electronics and Communications in Japan (Part II: Electronics), Vol. 86, No. 3. (2003), pp. 35-46. by Takayuki Suyama, Makoto Yokoo, Hiroshi Sawada, Akira Nagoya posted to sat-solver sat hardware fpga by voronov on 2009-12-08 14:45:07 as
	A Branch-and-Bound Algorithm for Extracting Smallest Minimal Unsatisfiable Formulas [My Copy] In Theory and Applications of Satisfiability Testing (2005), pp. 467-474. by Maher Mneimneh, Inês Lynce, Zaher Andraus, João Marques-Silva, Karem Sakallah posted to unsat-core unsat sat proof-log by voronov on 2009-12-08 14:43:23 as
	Comparison of Boolean Satisfiability Encodings on FPGA Detailed Routing Problems [My Copy] In Design, Automation and Test in Europe, 2008. DATE '08 (14 March 2008), pp. 1268-1273. by M. N. Velev, Ping Gao posted to sat-solver sat hardware fpga by voronov on 2009-12-08 14:41:27 as
	A software/reconfigurable hardware SAT solver [My Copy] In Very Large Scale Integration (VLSI) Systems, IEEE Transactions on, Vol. 12, No. 4. (19 April 2004), pp. 408-419. by I. Skliarova, A. B. Ferrari posted to sat-solver sat hardware fpga by voronov on 2009-12-08 14:37:51 as
	Reducing compilation time of Zhong's FPGA-based SAT solver [My Copy] In Field-Programmable Custom Computing Machines, 1999. FCCM '99. Proceedings. Seventh Annual IEEE Symposium on (06 August 2002), pp. 308-309. by P. K. Chan, M. J. Boyd, S. Goren, et al.K. Klenk, V. Kodavati, R. Kundu, M. Margolese, J. Sun, K. Suzuki, E. Thorne, X. Wang, J. Xu, M. Zhu posted to sat-solver sat hardware fpga by voronov on 2009-12-08 14:34:43 as
	Stable and Accurate Artificial Dissipation [My Copy] Journal of Scientific Computing, Vol. 21, No. 1. (1 August 2004), pp. 57-79. by Ken Mattsson, Magnus Svärd, Jan Nordström posted to sbp sat by jkozdon on 2009-12-02 04:42:52 as
	Chaff: engineering an efficient SAT solver [My Copy] In DAC '01: Proceedings of the 38th annual Design Automation Conference (2001), pp. 530-535. by Matthew W. Moskewicz, Conor F. Madigan, Ying Zhao, Lintao Zhang, Sharad Malik posted to sat by rhishi on 2009-11-23 19:07:12 as along with 1 person bfraser
	SymChaff: a structure-aware satisfiability solver [My Copy] In AAAI'05: Proceedings of the 20th national conference on Artificial intelligence (2005), pp. 467-474. by Ashish Sabharwal posted to symmetry solver sat by voronov on 2009-11-23 14:58:57 as
	SymChaff: exploiting symmetry in a structure-aware satisfiability solver [My Copy] Constraints, Vol. 14, No. 4. (1 December 2009), pp. 478-505. by Ashish Sabharwal posted to symmetry solver sat csp constraint by voronov on 2009-11-23 14:57:10 as
	Faster symmetry discovery using sparsity of symmetries [My Copy] In DAC '08: Proceedings of the 45th annual Design Automation Conference (2008), pp. 149-154. by Paul T. Darga, Karem A. Sakallah, Igor L. Markov posted to symmetry sparce sat graph cnf automorphism by voronov on 2009-11-23 13:58:49 as
	Computational science: Can get satisfaction [My Copy] Nature, Vol. 435, No. 7043. (08 June 2005), pp. 751-752. by Carla P. Gomes, Bart Selman posted to sat phase_transition nature csp complexity by voronov on 2009-11-19 21:32:34 as along with 1 person bpb
	Design Methods for FPGAbased Implementation of Combinatorial Search Algorithms [My Copy] In Proc. Int. Workshop on SoC and MCSoC Design - IWSOC'2006, 4th Int. Conference on Advances in Mobile Computing and Multimedia - MoMM'2006 (2006), pp. 359-368. by Iouliia Skliarova, Valery Sklyarov posted to sat implementation fpga algorithm by voronov on 2009-11-16 11:11:36 as
	Propositional Satisfiability and Constraint Programming: a Comparative Survey [My Copy] Vol. 38, No. 4. (2006), pp. 1-62. by Lucas Bordeaux, Youssef Hamadi, Lintao Zhang posted to survey sat csp constraint_programming by voronov on 2009-11-16 11:09:04 as
	A Configurable Hardware/Software Approach to SAT Solving [My Copy] Field-Programmable Custom Computing Machines, 2001. FCCM '01. The 9th Annual IEEE Symposium on (02 May 2005), pp. 239-248. by J. T. de Sousa, J. M. da Silva, M. Abramovici posted to sat implementation fpga configware by voronov on 2009-11-16 11:05:01 as
	On implementing a configware/software SAT solver [My Copy] Field-Programmable Custom Computing Machines, Annual IEEE Symposium on In Field-Programmable Custom Computing Machines, 2002. Proceedings. 10th Annual IEEE Symposium on, Vol. 0 (06 January 2003), pp. 282-283. by N. A. Reis, J. T. de Sousa posted to sat implementation hardware fpga fccm compilation by voronov on 2009-11-16 11:01:12 as
	A machine program for theorem-proving [My Copy] Commun. ACM, Vol. 5, No. 7. (July 1962), pp. 394-397. by Martin Davis, George Logemann, Donald Loveland posted to sat dpll by chsticksel on 2009-11-13 18:51:55 as along with 6 people gagliol bsilverthorn bulwahn brothers bfraser voronov
	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
	An Extensible SAT-solver [My Copy] Theory and Applications of Satisfiability Testing (2004), pp. 333-336. by Niklas Eén, Niklas Sörensson posted to sat minisat dpll decision_procedure by chsticksel on 2009-11-06 20:02:10 as along with 5 people bfraser tuncay mccrimson voronov krauss
	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 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 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

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

Result page: 1 2 3 4 Next

cs264a	20
restarting	13
fpga	11
planning	10
solver	10
sat-solver	9
ai	8
bdd	6
csp	6
des	6
model_checking	6
satisfiability	6
smt	6
testing	6
alloy	5
bp	5
cnf	5
coding-theory	5
constraint	5
dpll	5
hardware	5
logic	5
lp	5
minisat	5
open-problems	5
presburger	5
random-sat	5
arithmetic	4
bmc	4
complexity	4
da	4
implementation	4
mogentes	4
project-planning	4
reconfigurable	4
resolution	4
snptagging	4
survey	4
unsat	4
variable	4
algorithm	3
algorithms	3
cdcl	3
configuration	3
incremental	3
limitedlookahead	3
maxsat	3
model	3
optimization	3
ordering	3
symmetry	3
zap	3
2007	2
ase	2
bcp	2
boolean	2
co-processor	2
constraints	2
cores	2
counting	2
d-sharp	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
theory	2
verification	2
week9	2
consistency	1
dichotomy	1
efficient	1
formal-methods	1
grammar	1
graphs	1
hybrid	1
iccad	1
inference	1
local-search	1
networks	1
phase-transition	1
phase_transition	1
popl05	1
problems	1
proof-log	1
robots	1
sat_encoding	1
tractable	1
treewidth	1

Tag sat [170 articles] Export

Related Tags