BibSLEIGH — Proceedings of the Eighth International Conference on Theory and Applications of Satisfiability Testing

Fahiem Bacchus, Toby Walsh
Proceedings of the Eighth International Conference on Theory and Applications of Satisfiability Testing
SAT, 2005.

TEST

@proceedings{SAT-2005,
	address       = "St. Andrews, United Kingdom",
	editor        = "Fahiem Bacchus and Toby Walsh",
	isbn          = "3-540-26276-8",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Eighth International Conference on Theory and Applications of Satisfiability Testing}",
	volume        = 3569,
	year          = 2005,
}

Contents (42 items)

SAT-2005-ArgelichM #problem #satisfiability: Solving Over-Constrained Problems with SAT Technology (JA, FM), pp. 1–15.
SAT-2005-AudemardS #approach #quantifier: A Symbolic Search Based Approach for Quantified Boolean Formulas (GA, LS), pp. 16–30.
SAT-2005-BelovS #logic #satisfiability: Substitutional Definition of Satisfiability in Classical Propositional Logic (AB, ZS), pp. 31–45.
SAT-2005-DershowitzHN #heuristic #satisfiability: A Clause-Based Heuristic for SAT Solvers (ND, ZH, AN), pp. 46–60.
SAT-2005-EenB #effectiveness #preprocessor #satisfiability: Effective Preprocessing in SAT Through Variable and Clause Elimination (NE, AB), pp. 61–75.
SAT-2005-GalesiT #game studies: Resolution and Pebbling Games (NG, NT), pp. 76–90.
SAT-2005-GentR #learning: Local and Global Complete Solution Learning Methods for QBF (IPG, AGDR), pp. 91–106.
SAT-2005-Goldberg #equivalence #specification: Equivalence Checking of Circuits with Parameterized Specifications (EG), pp. 107–121.
SAT-2005-HeuleM #bound #linear #programming #random #satisfiability #using: Observed Lower Bounds for Random 3-SAT Phase Transition Density Using Linear Programming (MH, HvM), pp. 122–134.
SAT-2005-HirschN #proving #simulation #strict: Simulating Cutting Plane Proofs with Restricted Degree of Falsity by Resolution (EAH, SIN), pp. 135–142.
SAT-2005-KourilF #performance #satisfiability: Resolution Tunnels for Improved SAT Solver Performance (MK, JVF), pp. 143–157.
SAT-2005-LiH #satisfiability: Diversification and Determinism in Local Search for Satisfiability (CML, WH), pp. 158–172.
SAT-2005-LiffitonS #on the #satisfiability: On Finding All Minimally Unsatisfiable Subformulas (MHL, KAS), pp. 173–186.
SAT-2005-MarinovKBZR #compilation #declarative #modelling #optimisation: Optimizations for Compiling Declarative Models into Boolean Formulas (DM, SK, SB, LZ, MCR), pp. 187–202.
SAT-2005-Prestwich #random: Random Walk with Continuously Smoothed Variable Weights (SDP), pp. 203–215.
SAT-2005-Rolf #satisfiability: Derandomization of PPSZ for Unique- k-SAT (DR), pp. 216–225.
SAT-2005-SangBK #heuristic #performance: Heuristics for Fast Exact Model Counting (TS, PB, HAK), pp. 226–240.
SAT-2005-SheiniS #integer #linear #logic #satisfiability #scalability: A Scalable Method for Solving Satisfiability of Integer Linear Arithmetic Logic (HMS, KAS), pp. 241–256.
SAT-2005-SinzD #named #satisfiability #visualisation: DPvis — A Tool to Visualize the Structure of SAT Instances (CS, EMD), pp. 257–268.
SAT-2005-Southey #constraints #metric: Constraint Metrics for Local Search (FS), pp. 269–281.
SAT-2005-Gelder #bound #distance #proving: Input Distance and Lower Bounds for Propositional Resolution Proof Length (AVG), pp. 282–293.
SAT-2005-MaarenN #satisfiability: Sums of Squares, Satisfiability and Maximum Satisfiability (HvM, LvN), pp. 294–308.
SAT-2005-Wahlstrom #performance #satisfiability: Faster Exact Solving of SAT Formulae with a Low Number of Occurrences per Variable (MW), pp. 309–323.
SAT-2005-WeiS #approach: A New Approach to Model Counting (WW, BS), pp. 324–339.
SAT-2005-Zarpas #benchmark #bound #metric #model checking #satisfiability: Benchmarking SAT Solvers for Bounded Model Checking (EZ), pp. 340–354.
SAT-2005-ZhaoB #reduction: Model-Equivalent Reductions (XZ, HKB), pp. 355–370.
SAT-2005-AlsinetMP #satisfiability: Improved Exact Solvers for Weighted Max-SAT (TA, FM, JP), pp. 371–377.
SAT-2005-Benedetti #quantifier: Quantifier Trees for QBFs (MB), pp. 378–385.
SAT-2005-BubeckBZ #equivalence #modelling #quantifier: Quantifier Rewriting and Equivalence Models for Quantified Horn Formulas (UB, HKB, XZ), pp. 386–392.
SAT-2005-Coste-MarquisBL #branch #heuristic #quantifier: A Branching Heuristics for Quantified Renamable Horn Formulas (SCM, DLB, FL), pp. 393–399.
SAT-2005-DantsinW #bound #satisfiability: An Improved Upper Bound for SAT (ED, AW), pp. 400–407.
SAT-2005-DershowitzHK #bound #model checking: Bounded Model Checking with QBF (ND, ZH, JK), pp. 408–414.
SAT-2005-DurairajK #constraints #dependence #performance #satisfiability: Variable Ordering for Efficient SAT Search by Analyzing Constraint-Variable Dependencies (VD, PK), pp. 415–422.
SAT-2005-GershmanS #effectiveness #preprocessor: Cost-Effective Hyper-Resolution for Preprocessing CNF Formulas (RG, OS), pp. 423–429.
SAT-2005-Kulikov #automation #generative #satisfiability: Automated Generation of Simplification Rules for SAT and MAXSAT (ASK), pp. 430–436.
SAT-2005-LewisSB #satisfiability: Speedup Techniques Utilized in Modern SAT Solvers (MDTL, TS, BB), pp. 437–443.
SAT-2005-LingSB #logic #quantifier #satisfiability #synthesis #using: FPGA Logic Synthesis Using Quantified Boolean Satisfiability (ACL, DPS, SDB), pp. 444–450.
SAT-2005-ManquinhoM #algorithm #on the #optimisation #pseudo: On Applying Cutting Planes in DLL-Based Algorithms for Pseudo-Boolean Optimization (VMM, JPMS), pp. 451–458.
SAT-2005-MeierS #algebra #benchmark #metric #problem #satisfiability #set: A New Set of Algebraic Benchmark Problems for SAT Solvers (AM, VS), pp. 459–466.
SAT-2005-MneimnehLASS #algorithm #bound #satisfiability: A Branch-and-Bound Algorithm for Extracting Smallest Minimal Unsatisfiable Formulas (MNM, IL, ZSA, JPMS, KAS), pp. 467–474.
SAT-2005-SeitzAO #behaviour #random #satisfiability: Threshold Behaviour of WalkSAT and Focused Metropolis Search on Random 3-Satisfiability (SS, MA, PO), pp. 475–481.
SAT-2005-Zhang #on the #on the fly: On Subsumption Removal and On-the-Fly CNF Simplification (LZ), pp. 482–489.

Fahiem Bacchus, Toby WalshProceedings of the Eighth International Conference on Theory and Applications of Satisfiability TestingSAT, 2005.

Contents (42 items)

Fahiem Bacchus, Toby Walsh
Proceedings of the Eighth International Conference on Theory and Applications of Satisfiability Testing
SAT, 2005.