default search action

combined dblp search
author search
venue search
publication search

ask others

17th SAT 2014: Vienna, Austria

> Home > Conferences and Workshops > SAT

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/sat/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/2014
Carsten Sinz, Uwe Egly:
Theory and Applications of Satisfiability Testing - SAT 2014 - 17th International Conference, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings. Lecture Notes in Computer Science 8561, Springer 2014, ISBN 978-3-319-09283-6

Invited Talk

- view
  authority control:
- export record
  dblp key:
  - conf/sat/Nordstrom14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/Nordstrom14
Jakob Nordström:
A (Biased) Proof Complexity Survey for SAT Practitioners. 1-6

Technical Papers

- view
  authority control:
- export record
  dblp key:
  - conf/sat/BacchusN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/BacchusN14
Fahiem Bacchus, Nina Narodytska:
Cores in Core Based MaxSat Algorithms: An Analysis. 7-15
- view
  authority control:
- export record
  dblp key:
  - conf/sat/SaetherTV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/SaetherTV14
Sigve Hortemo Sæther, Jan Arne Telle, Martin Vatshelle:
Solving MaxSAT and #SAT on Structured CNF Formulas. 16-31
- view
  authority control:
- export record
  dblp key:
  - conf/sat/SakaiST14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/SakaiST14
Takayuki Sakai, Kazuhisa Seto, Suguru Tamaki:
Solving Sparse Instances of Max SAT via Width Reduction and Greedy Restriction. 32-47
- view
  authority control:
- export record
  dblp key:
  - conf/sat/BelovHM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/BelovHM14
Anton Belov, Marijn Heule, João Marques-Silva:
MUS Extraction Using Clausal Proofs. 48-57
- view
  authority control:
- export record
  dblp key:
  - conf/sat/Marques-SilvaP14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/Marques-SilvaP14
João Marques-Silva, Alessandro Previti:
On Computing Preferred MUSes and MCSes. 58-74
- view
  authority control:
- export record
  dblp key:
  - conf/sat/JarvisaloK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/JarvisaloK14
Matti Järvisalo, Janne H. Korhonen:
Conditional Lower Bounds for Failed Literals and Related Techniques. 75-84
- view
  authority control:
- export record
  dblp key:
  - conf/sat/HaanS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/HaanS14
Ronald de Haan, Stefan Szeider:
Fixed-Parameter Tractable Reductions to SAT. 85-102
- view
  authority control:
- export record
  dblp key:
  - conf/sat/IgnatievMM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/IgnatievMM14
Alexey Ignatiev, António Morgado, João Marques-Silva:
On Reducing Maximum Independent Set to Minimum Satisfiability. 103-120
- view
  authority control:
- export record
  dblp key:
  - conf/sat/MiksaN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/MiksaN14
Mladen Miksa, Jakob Nordström:
Long Proofs of (Seemingly) Simple Formulas. 121-137
- view
  authority control:
- export record
  dblp key:
  - conf/sat/IstrateC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/IstrateC14
Gabriel Istrate, Adrian Craciun:
Proof Complexity and the Kneser-Lovász Theorem. 138-153
- view
  authority control:
- export record
  dblp key:
  - conf/sat/BalabanovWJ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/BalabanovWJ14
Valeriy Balabanov, Magdalena Widl, Jie-Hong R. Jiang:
QBF Resolution Systems and Their Proof Complexities. 154-169
- view
  authority control:
- export record
  dblp key:
  - conf/sat/BeyersdorffK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/BeyersdorffK14
Olaf Beyersdorff, Oliver Kullmann:
Unified Characterisations of Resolution Hardness Measures. 170-187
- view
  authority control:
- export record
  dblp key:
  - conf/sat/SonobeKI14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/SonobeKI14
Tomohiro Sonobe, Shuya Kondoh, Mary Inaba:
Community Branching for Parallel Portfolio SAT Solvers. 188-196
- view
  authority control:
- export record
  dblp key:
  - conf/sat/AudemardS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/AudemardS14
Gilles Audemard, Laurent Simon:
Lazy Clause Exchange Policy for Parallel SAT Solvers. 197-205
- view
  authority control:
- export record
  dblp key:
  - conf/sat/NadelRS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/NadelRS14
Alexander Nadel, Vadim Ryvchin, Ofer Strichman:
Ultimately Incremental SAT. 206-218
- view
  authority control:
- export record
  dblp key:
  - conf/sat/KonevL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/KonevL14
Boris Konev, Alexei Lisitsa:
A SAT Attack on the Erdős Discrepancy Conjecture. 219-226
- view
  authority control:
- export record
  dblp key:
  - conf/sat/HeymanSMLA14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/HeymanSMLA14
Tamir Heyman, Dan Smith, Yogesh Mahajan, Lance Leong, Husam Abu-Haimed:
Dominant Controllability Check Using QBF-Solver and Netlist Optimizer. 227-242
- view
  authority control:
- export record
  dblp key:
  - conf/sat/FinkbeinerT14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/FinkbeinerT14
Bernd Finkbeiner, Leander Tentrup:
Fast DQBF Refutation. 243-251
- view
  authority control:
- export record
  dblp key:
  - conf/sat/NewshamGFAS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/NewshamGFAS14
Zack Newsham, Vijay Ganesh, Sebastian Fischmeister, Gilles Audemard, Laurent Simon:
Impact of Community Structure on SAT Solver Performance. 252-268
- view
  authority control:
- export record
  dblp key:
  - conf/sat/SlivovskyS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/SlivovskyS14
Friedrich Slivovsky, Stefan Szeider:
Variable Dependencies and Q-Resolution. 269-284
- view
  authority control:
- export record
  dblp key:
  - conf/sat/BiereBLM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/BiereBLM14
Armin Biere, Daniel Le Berre, Emmanuel Lonca, Norbert Manthey:
Detecting Cardinality Constraints in CNF. 285-301
- view
  authority control:
- export record
  dblp key:
  - conf/sat/BalintBFS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/BalintBFS14
Adrian Balint, Armin Biere, Andreas Fröhlich, Uwe Schöning:
Improving Implementation of SLS Solvers for SAT and New Heuristics for k-SAT with Long Clauses. 302-316
- view
  authority control:
- export record
  dblp key:
  - conf/sat/BalyoFHB14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/BalyoFHB14
Tomás Balyo, Andreas Fröhlich, Marijn Heule, Armin Biere:
Everything You Always Wanted to Know about Blocked Sets (But Were Afraid to Ask). 317-332
- view
  authority control:
- export record
  dblp key:
  - conf/sat/LarrazORR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/LarrazORR14
Daniel Larraz, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio:
Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions. 333-350
- view
  authority control:
- export record
  dblp key:
  - conf/sat/FeketeC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/FeketeC14
Yoav Fekete, Michael Codish:
Simplifying Pseudo-Boolean Constraints in Residual Number Systems. 351-366
- view
  authority control:
- export record
  dblp key:
  - conf/sat/Gableske14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/Gableske14
Oliver Gableske:
An Ising Model Inspired Extension of the Product-Based MP Framework for SAT. 367-383
- view
  authority control:
- export record
  dblp key:
  - conf/sat/Bulatov014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/Bulatov014
Andrei A. Bulatov, Cong Wang:
Approximating Highly Satisfiable Random 2-SAT. 384-398
- view
  authority control:
- export record
  dblp key:
  - conf/sat/CapelliDM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/CapelliDM14
Florent Capelli, Arnaud Durand, Stefan Mengel:
Hypergraph Acyclicity and Propositional Model Counting. 399-414

Tool Papers

- view
  authority control:
- export record
  dblp key:
  - conf/sat/CreusFG14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/CreusFG14
Carles Creus, Pau Fernández, Guillem Godoy:
Automatic Evaluation of Reductions between NP-Complete Problems. 415-421
- view
  authority control:
- export record
  dblp key:
  - conf/sat/WetzlerHH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/WetzlerHH14
Nathan Wetzler, Marijn Heule, Warren A. Hunt Jr.:
DRAT-trim: Efficient Checking and Trimming Using Expressive Clausal Proofs. 422-429
- view
  authority control:
- export record
  dblp key:
  - conf/sat/JordanKLS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/JordanKLS14
Charles Jordan, Lukasz Kaiser, Florian Lonsing, Martina Seidl:
MPIDepQBF: Towards Parallel QBF Solving without Knowledge Sharing. 430-437
- view
  authority control:
- export record
  dblp key:
  - conf/sat/MartinsML14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/MartinsML14
Ruben Martins, Vasco Manquinho, Inês Lynce:
Open-WBO: A Modular MaxSAT Solver, . 438-445

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.