Tag satisfiability [69 articles] Export

Recent papers classified by the tag satisfiability.

	Constraint-set satisfiability for overloading [My Copy] In PPDP '04: Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming (2004), pp. 67-77. by Ao Carlos Camar, Lucília Figueiredo, Cristiano Vasconcellos posted to satisfiability parametric-polymorphism least-specific-generalization constraints ad-hoc-polymorphism by spl on 2009-12-09 08:05:05 as
	FPGA Routing and Routability Estimation Via Boolean Satisfiability [My Copy] In Proceedings of the Fifth International Symposium on Field-Programmable Gate Arrays (FPGA) (1997), pp. 119-125. by R. Glenn Wood, Rob A. Rutenbar posted to satisfiability sat_encoding design_automation by bsilverthorn on 2009-11-18 23:58:20 as
	Fault Diagnosis and Logic Debugging Using Boolean Satisfiability [My Copy] Proceedings of the 4th International Workshop on Microprocessor Test and Verification: Common Challenges and Solutions (30 May 2003), pp. 60-65. by Andreas Veneris posted to satisfiability design_automation by bsilverthorn on 2009-11-18 23:53:14 as
	Symbolic Model Checking using SAT procedures instead of BDDs [My Copy] In Proceedings of the 36th Annual ACM/IEEE Design Automation Conference (DAC) (1999), pp. 317-320. by Armin Biere, Alessandro Cimatti, Edmund M. Clarke, Masahiro Fujita, Yunshan Zhu posted to satisfiability design_automation by bsilverthorn on 2009-11-18 22:39:44 as along with 1 person bfraser
	GRASP: A Search Algorithm for Propositional Satisfiability [My Copy] IEEE Transactions on Computers In Transactions on Computers, Vol. 48, No. 5. (06 August 1999), pp. 506-521. by João P. Marques-Silva, Karem A. Sakallah posted to satisfiability by bsilverthorn on 2009-11-18 04:19:05 as along with 2 people pverstra dbueno
	Combining Adaptive Noise and Look-Ahead in Local Search for SAT [My Copy] Theory and Applications of Satisfiability Testing – SAT 2007 In Theory and Applications of Satisfiability Testing (SAT '07) (2007), pp. 121-133. by Chu Li, Wanxia Wei, Harry Zhang posted to ubcsat satisfiability local_search by bsilverthorn on 2009-11-12 17:38:10 as
	Learning to Select Branching Rules in the DPLL Procedure for Satisfiability [My Copy] Electronic Notes in Discrete Mathematics, Vol. 9 (June 2001), pp. 344-359. by Michail Lagoudakis, Michael Littman posted to satisfiability reinforcement_learning algorithm_selection by bsilverthorn on 2009-11-09 00:11:45 as
	Hierarchical Hardness Models for SAT [My Copy] Principles and Practice of Constraint Programming (CP '07) (2007), pp. 696-711. by Lin Xu, Holger Hoos, Kevin Leyton-Brown posted to satisfiability empirical_hardness by bsilverthorn on 2009-11-08 02:29:16 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 satisfiability dpll backtracking by gagliol on 2009-11-07 16:34:55 as along with 6 people chsticksel bsilverthorn bulwahn brothers bfraser voronov
	The state of SAT [My Copy] Discrete Applied Mathematics, Vol. 155, No. 12. (15 June 2007), pp. 1514-1524. by Henry Kautz, Bart Selman posted to surveys satisfiability by bsilverthorn on 2009-11-03 02:07:42 as
	Boosting Verification by Automatic Tuning of Decision Procedures [My Copy] In Proceedings of Formal Methods in Computer Aided Design (FMCAD '07) (2007), pp. 27-34. by Frank Hutter, Domagoj Babić, Holger H. Hoos, Alan J. Hu posted to satisfiability parameter_adjustment by bsilverthorn on 2009-11-02 19:11:31 as
	Understanding Random SAT: Beyond the Clauses-to-Variables Ratio [My Copy] Principles and Practice of Constraint Programming – CP 2004 In Principles and Practice of Constraint Programming (CP '04) (2004), pp. 438-452. by Eugene Nudelman, Kevin Leyton-Brown, Holger H. Hoos, Alex Devkar, Yoav Shoham posted to satisfiability empirical_hardness by bsilverthorn on 2009-11-01 22:07:33 as
	SATzilla: Portfolio-based Algorithm Selection for SAT [My Copy] Journal of Artificial Intelligence Research, Vol. 32, No. 1. (2008), pp. 565-606. by Lin Xu, Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown posted to satisfiability algorithm_portfolios by bsilverthorn on 2009-10-31 20:32:55 as
	Generating Hard Satisfiability Problems [My Copy] Artificial Intelligence, Vol. 81, No. 1-2. (March 1996), pp. 17-29. by David Mitchell, Bart Selman, Hector J. Levesque posted to seminal satisfiability empirical_hardness by bsilverthorn on 2009-10-29 17:32:05 as
	A Computing Procedure for Quantification Theory [My Copy] Journal of the ACM, Vol. 7, No. 3. (July 1960), pp. 201-215. by Martin Davis, Hilary Putnam posted to seminal satisfiability by bsilverthorn on 2009-10-24 00:19:13 as along with 3 people pmatos bfraser lcigler
	Decimation flows in constraint satisfaction problems [My Copy] (12 Aug 2009) by Saburo Higuchi, Marc Mézard posted to satisfiability message_passing decimation by marinari on 2009-09-22 10:04:40 as
	Following Gibbs States -- The Energy Landscape of Mean Field Glassy Systems [My Copy] (21 Sep 2009) by Florent Krzakala, Lenka Zdeborová posted to satisfiability mean_field glassy_system gibbs_state energy_landscape cavity_method annealing by marinari on 2009-09-22 09:59:31 as
	Instance-Based Selection of Policies for SAT Solvers [My Copy] Theory and Applications of Satisfiability Testing - SAT 2009 In Theory and Applications of Satisfiability Testing (SAT 2009) (2009), pp. 326-340. by Mladen Nikolić, Filip Marić, Predrag Janičić posted to satisfiability algorithm_selection by bsilverthorn on 2009-09-02 20:25:00 as
	Problem-Sensitive Restart Heuristics for the DPLL Procedure [My Copy] Theory and Applications of Satisfiability Testing - SAT 2009 In Theory and Applications of Satisfiability Testing (SAT 2009) (2009), pp. 356-362. by Carsten Sinz, Markus Iser posted to satisfiability restart_strategies by bsilverthorn on 2009-09-02 20:22:53 as
	Restart Strategy Selection Using Machine Learning Techniques [My Copy] Theory and Applications of Satisfiability Testing - SAT 2009 In Theory and Applications of Satisfiability Testing (SAT 2009) (2009), pp. 312-325. by Shai Haim, Toby Walsh posted to satisfiability restart_strategies machine_learning by bsilverthorn on 2009-09-02 20:12:31 as
	The status of the P versus NP problem [My Copy] Commun. ACM, Vol. 52, No. 9. (2009), pp. 78-86. by Lance Fortnow posted to satisfiability np-complete logic computer_science complexity by gvdh on 2009-08-27 14:32:52 as along with 10 people zhensong shtrom knuu naveer sanxiyn jirak perhaad laurap dimvar ajholanda
	Statistical Mechanics of maximal independent sets [My Copy] (19 Jul 2009) by L. Dall'asta, P. Pin, A. Ramezanpour posted to game_theory graph maximal_independent_set monte_carlo nash_equilibrium network satisfiability by marinari on 2009-07-21 10:35:32 as
	Hiding Quiet Solutions in Random Constraint Satisfaction Problems [My Copy] (27 May 2009) by Florent Krzakala, Lenka Zdeborová posted to computational_complexity graph ksat phase_transition planted satisfiability by marinari on 2009-05-28 11:23:21 as
	Bounded Model Checking Using Satisfiability Solving [My Copy] Form. Methods Syst. Des., Vol. 19, No. 1. (July 2001), pp. 7-34. by Edmund Clarke, Armin Biere, Richard Raimi, Yunshan Zhu posted to bounded model-checking satisfiability by streetlightios on 2009-05-12 04:03:27 as along with 3 people voronov shimomura msakai
	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
	A Complete Analysis of Tractability in RCC-8 [My Copy] Qualitative Spatial Reasoning with Topological Information (2002), pp. 183-186. posted to calculus satisfiability spatial by mcgrathm on 2009-02-19 19:10:24 as
	Computational Complexity of Temporal Constraint Problems [My Copy] by Thomas Drakengren, Peter Jonsson posted to calculus satisfiability temporal by mcgrathm on 2009-02-19 18:15:41 as
	Double-Crossing: Decidability and Computational Complexity of a Qualitative Calculus for Navigation [My Copy] Spatial Information Theory (2001), pp. 431-446. by Alexander Scivos, Bernhard Nebel posted to calculus satisfiability spatial temporal by mcgrathm on 2009-02-19 18:07:59 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
	Dynamic circuit generation for solving specific problem instances of Boolean satisfiability [My Copy] FPGAs for Custom Computing Machines, 1998. Proceedings. IEEE Symposium on In FPGAs for Custom Computing Machines, 1998. Proceedings. IEEE Symposium on (1998), pp. 196-204. by A. Rashid, J. Leonard, W. H. Mangione-Smith posted to boolean instance reconfigurable satisfiability specific by jmw0116 on 2009-02-09 00:09:16 as
	Planning as Satisfiability [My Copy] In Proceedings of the 10th European Conference on Artificial Intelligence (ECAI) (1992), pp. 359-363. by Henry Kautz, Bart Selman posted to planning sat_encoding satisfiability by bsilverthorn on 2009-01-12 03:27:20 as along with 1 person bfraser
	Boosting Combinatorial Search Through Randomization [My Copy] In Proceedings of the Fifteenth National Conference on Artificial Intelligence (AAAI '98) (1998), pp. 431-437. by Carla P. Gomes, Bart Selman, Henry Kautz posted to complete_search heuristic_search randomization satisfiability by bsilverthorn on 2009-01-11 23:37:36 as
	Efficient E-Matching for SMT Solvers [My Copy] Automated Deduction – CADE-21 (2007), pp. 183-198. by Leonardo de Moura, Nikolaj Bjørner posted to constraint-problem satisfiability satisfiability-modulo-theories softnet z3 by sjgaller on 2008-05-05 08:29:45 as along with 1 person rhishi
	Z3: An Efficient SMT Solver [My Copy] Tools and Algorithms for the Construction and Analysis of Systems In Tools and Algorithms for the Construction and Analysis of Systems, Vol. 4963/2008 (3 April 2008), pp. 337-340. by Leonardo de Moura, Nikolaj Bjørner posted to constraint-problem satisfiability satisfiability-modulo-theories softnet z3 by sjgaller on 2008-05-05 08:26:40 as along with 2 people cyph3r rhishi
	Dynamic restart policies [My Copy] In Proceedings of the Eighteenth National Conference on Artificial Intelligence (AAAI) (2002), pp. 674-681. by Henry Kautz, Eric Horvitz, Yongshao Ruan, Carla Gomes, Bart Selman posted to restart_strategies satisfiability by bsilverthorn on 2008-04-23 17:02:00 as
	The Complexity of Satisfiability Problems over Finite Lattices [My Copy] STACS 2004 (2004), pp. 31-43. by Bernhard Schwarz posted to complexity finite lattices mythesis satisfiability theory by eporreca on 2008-04-07 14:24:24 as
	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 satisfiability spin-glass by jcvasquezb106 on 2008-03-18 21:44:03 as along with 2 people davidecellai gkatsi
	Local Search Strategies for Satisfiability Testing [My Copy] In Proceedings of the Second DIMACS Challange on Cliques, Coloring, and Satisfiability (1993) by Bart Selman, Henry A. Kautz, Bram Cohen edited by Michael Trick, David S. Johnson posted to local_search satisfiability walksat by bsilverthorn on 2008-02-27 23:33:39 as
	Learning dynamic algorithm portfolios [My Copy] Annals of Mathematics and Artificial Intelligence, Vol. 47, No. 3-4. (August 2006), pp. 295-328. by Matteo Gagliolo, Jürgen Schmidhuber posted to algorithm_portfolios machine_learning satisfiability winner_determination by bsilverthorn on 2008-01-21 20:27:13 as along with 1 person gagliol
	Design-as-satisfiability: A new approach to automated synthesis [My Copy] Artificial Intelligence for Engineering Design, Analysis and Manufacturing, Vol. 15, No. 5. (November 2001), pp. 385-399. by Dan Braha posted to algorithms design layout satisfiability by gvdh on 2007-12-28 16:40:56 as
	Automatically Configuring Constraint Satisfaction Programs: A Case Study [My Copy] Constraints, Vol. 1, No. 1/2. (1996), pp. 7-43. by Steven Minton posted to satisfiability algorithm-selection by gagliol on 2007-12-18 15:21:13 as
	Tuning Local Search for Satisfiability Testing [My Copy] In Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI'96) (1996), pp. 356-362. by Andrew J. Parkes, Joachim P. Walser posted to satisfiability heuristic local-search parameter-tuning by gagliol on 2007-12-14 16:21:18 as
	Relationship between clustering and algorithmic phase transitions in the random k-XORSAT model and its NP-complete extensions [My Copy] (4 Sep 2007) by Fabrizio Altarelli, Remi Monasson, Francesco Zamponi posted to constraint heuristic optimization phase-transition satisfiability stochastic by nojhan on 2007-09-05 14:05:24 as along with 3 groups EvolutionaryComputation Metaheuristics Optimization
	Nonsystematic Backtracking Search [My Copy] (1995) by William D. Harvey posted to satisfiability parallel-computing algorithm-portfolios algorithm-selection computational-complexity anytime-algorithms backtracking-search constraint-satisfaction randomized-algorithms by gagliol on 2007-07-06 15:34:36 as
	Happiness Quantified: A Satisfaction Calculus Approach [My Copy] (21 June 2004) by Bernard van Praag, Ada Ferrer-I-Carbonell posted to calculus happiness satisfaction-calculus satisfiability by Scis0000002 on 2007-07-04 12:35:45 as along with 1 person jklugman
	TestEra: Specification-based testing of Java programs using SAT [My Copy] (2004) by S. Khurshid, D. Marinov posted to java softnet test-case-generation satisfiability by sjgaller on 2007-06-05 09:41:24 as along with 2 groups Context-driven-testers Desgin-by-Contract
	Planning as Satisfiability [My Copy] In Proceedings of the Tenth European Conference on Artificial Intelligence (ECAI'92) (1992), pp. 359-363. by Henry A. Kautz, Bart Selman posted to planning satisfiability by baisemain on 2007-05-15 18:02:05 as along with 3 people PAGiannaros cyph3r stavros
	A sharp threshold for a random constraint satisfaction problem [My Copy] Discrete Math., Vol. 285, No. 1-3. (2004), pp. 301-305. by Abraham D. Flaxman posted to csp k-sat random satisfiability by abie on 2007-05-11 23:13:28 as
	A spectral technique for random satisfiable 3CNF formulas [My Copy] In Proceedings of the Fourteenth Annual ACM-SIAM Symposium on Discrete Algorithms (Baltimore, MD, 2003) (2003), pp. 357-363. by Abraham Flaxman posted to 3 algorithm random sat satisfiability spectral by abie on 2007-05-11 22:48:08 as
	Computers and Intractability; A Guide to the Theory of NP-Completeness [My Copy] (1990) by Michael R. Garey, David S. Johnson posted to optimization satisfiability constraint-satisfaction by gagliol on 2007-04-03 16:43:28 as along with 1 person fox_hound_33

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

Result page: 1 2 Next

phase-transition	6
sat	6
algorithm-selection	5
heuristic	5
optimization	5
reconfigurable	5
calculus	4
constraint	4
constraint-satisfaction	4
evolutionary-computation	4
fpga	4
metaheuristic	4
stochastic	4
algorithm-portfolios	3
boolean	3
complexity	3
computational-complexity	3
design_automation	3
empirical_hardness	3
local-search	3
parallel-computing	3
performance-modeling	3
restart_strategies	3
seminal	3
softnet	3
solver	3
specific	3
0-student-shelaev	2
algorithm	2
algorithm_portfolios	2
algorithm_selection	2
bcp	2
co-processor	2
combinatorial-optimization	2
constraint-problem	2
d-sharp	2
dynamic	2
first-order-logic	2
gagliolo-phd	2
graph	2
local_search	2
machine_learning	2
monday	2
network	2
planning	2
printed	2
random	2
randomized-algorithms	2
restart	2
sat_encoding	2
satisfiability-modulo-theories	2
spatial	2
temporal	2
week9	2
z3	2
ad-hoc-polymorphism	1
algorithms	1
ant-colony-optimization	1
approx-alg	1
backtracking	1
backtracking-search	1
bandit	1
bibtex-import-wt	1
bounded	1
complete_search	1
computer_science	1
constraints	1
decimation	1
dl	1
dpll	1
dynamic-algorithm-portfolios	1
energy_landscape	1
finite	1
game_theory	1
glassy_system	1
happiness	1
heavy-tails	1
java	1
lattices	1
layout	1
least-specific-generalization	1
logic	1
logic-programming	1
logical-theories	1
mean_field	1
message_passing	1
models	1
mythesis	1
nash_equilibrium	1
owl	1
parameter_adjustment	1
propositional-satisfiability	1
randomization	1
satisfaction-calculus	1
surveys	1
survival-analysis	1
theoremprover	1
theory	1
tsp	1
ubcsat	1

Tag satisfiability [69 articles] Export

Related Tags