default search action

combined dblp search
author search
venue search
publication search

ask others

24th SAT 2021: Barcelona, Spain

> 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/2021
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/2021
Chu-Min Li, Felip Manyà:
Theory and Applications of Satisfiability Testing - SAT 2021 - 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings. Lecture Notes in Computer Science 12831, Springer 2021, ISBN 978-3-030-80222-6
- view
  authority control:
- export record
  dblp key:
  - conf/sat/AnsoteguiOPPST21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/AnsoteguiOPPST21
Carlos Ansótegui, Jesus Ojeda, António Pacheco, Josep Pon, Josep M. Salvia, Eduard Torres:
OptiLog: A Framework for SAT-based Systems. 1-10
- view
  authority control:
- export record
  dblp key:
  - conf/sat/AnsoteguiPST21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/AnsoteguiPST21
Carlos Ansótegui, Josep Pon, Meinolf Sellmann, Kevin Tierney:
PyDGGA: Distributed GGA for Automatic Configuration. 11-20
- view
  authority control:
- export record
  dblp key:
  - conf/sat/BeyersdorffPSS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/BeyersdorffPSS21
Olaf Beyersdorff, Luca Pulina, Martina Seidl, Ankit Shukla:
QBFFam: A Tool for Generating QBF Families from Proof Complexity. 21-29
- view
  authority control:
- export record
  dblp key:
  - conf/sat/BlinkhornPS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/BlinkhornPS21
Joshua Blinkhorn, Tomás Peitl, Friedrich Slivovsky:
Davis and Putnam Meet Henkin: Solving DQBF with Resolution. 30-46
- view
  authority control:
- export record
  dblp key:
  - conf/sat/BohmB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/BohmB21
Benjamin Böhm, Olaf Beyersdorff:
Lower Bounds for QCDCL via Formula Gauge. 47-63
- view
  authority control:
- export record
  dblp key:
  - conf/sat/CaiZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/CaiZ21
Shaowei Cai, Xindi Zhang:
Deep Cooperation of CDCL and Local Search for SAT. 64-81
- view
  authority control:
- export record
  dblp key:
  - conf/sat/Cao21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/Cao21
Henrik E. C. Cao:
Hash-Based Preprocessing and Inprocessing Techniques in SAT Solvers. 82-97
- view
  authority control:
- export record
  dblp key:
  - conf/sat/Chew21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/Chew21
Leroy Chew:
Hardness and Optimality in QBF Proof Systems Modulo NP. 98-115
- view
  authority control:
- export record
  dblp key:
  - conf/sat/ColnetM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/ColnetM21
Alexis de Colnet, Stefan Mengel:
Characterizing Tseitin-Formulas with Short Regular Resolution Refutations. 116-133
- view
  authority control:
- export record
  dblp key:
  - conf/sat/DilkasB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/DilkasB21
Paulius Dilkas, Vaishak Belle:
Weighted Model Counting Without Parameter Variables. 134-151
- view
  authority control:
- export record
  dblp key:
  - conf/sat/DudekPV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/DudekPV21
Jeffrey M. Dudek, Vu H. N. Phan, Moshe Y. Vardi:
ProCount: Weighted Projected Model Counting with Graded Project-Join Trees. 152-170
- view
  authority control:
- export record
  dblp key:
  - conf/sat/FleuryB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/FleuryB21
Mathias Fleury, Armin Biere:
Efficient All-UIP Learned Clause Minimization. 171-187
- view
  authority control:
- export record
  dblp key:
  - conf/sat/FriedrichNRS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/FriedrichNRS21
Tobias Friedrich, Frank Neumann, Ralf Rothenberger, Andrew M. Sutton:
Solving Non-uniform Planted and Filtered Random SAT Formulas Greedily. 188-206
- view
  authority control:
- export record
  dblp key:
  - conf/sat/HermannS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/HermannS21
Miki Hermann, Gernot Salzer:
MCP: Capturing Big Data by Satisfiability (Tool Description). 207-215
- view
  authority control:
- export record
  dblp key:
  - conf/sat/Heule21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/Heule21
Marijn J. H. Heule:
Chinese Remainder Encoding for Hamiltonian Cycles. 216-224
- view
  authority control:
- export record
  dblp key:
  - conf/sat/HuangLLMZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/HuangLLMZ21
Pei Huang, Rundong Li, Minghao Liu, Feifei Ma, Jian Zhang:
Efficient SAT-Based Minimal Model Generation Methods for Modal Logic S5. 225-241
- view
  authority control:
- export record
  dblp key:
  - conf/sat/HundeshagenLS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/HundeshagenLS21
Norbert Hundeshagen, Martin Lange, Georg Siebert:
DiMo - Discrete Modelling Using Propositional Logic. 242-250
- view
  authority control:
- export record
  dblp key:
  - conf/sat/IgnatievS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/IgnatievS21
Alexey Ignatiev, João Marques-Silva:
SAT-Based Rigorous Explanations for Decision Lists. 251-269
- view
  authority control:
- export record
  dblp key:
  - conf/sat/JinLGMZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/JinLGMZ21
Jiwei Jin, Yiqi Lv, Cunjing Ge, Feifei Ma, Jian Zhang:
Investigating the Existence of Costas Latin Squares via Satisfiability Testing. 270-279
- view
  authority control:
- export record
  dblp key:
  - conf/sat/KochemazovIM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/KochemazovIM21
Stepan Kochemazov, Alexey Ignatiev, João Marques-Silva:
Assessing Progress in SAT Solvers Through the Lens of Incremental SAT. 280-298
- view
  authority control:
- export record
  dblp key:
  - conf/sat/KullmannZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/KullmannZ21
Oliver Kullmann, Oleg Zaikin:
Projection Heuristics for Binary Branchings Between Sum and Product. 299-314
- view
  authority control:
- export record
  dblp key:
  - conf/sat/BerreW21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/BerreW21
Daniel Le Berre, Romain Wallon:
On Dedicated CDCL Strategies for PB Solvers. 315-331
- view
  authority control:
- export record
  dblp key:
  - conf/sat/LeiCLH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/LeiCLH21
Zhendong Lei, Shaowei Cai, Chuan Luo, Holger H. Hoos:
Efficient Local Search for Pseudo Boolean Optimization. 332-348
- view
  authority control:
- export record
  dblp key:
  - conf/sat/Lester21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/Lester21
Martin Mariusz Lester:
Scheduling Reach Mahjong Tournaments Using Pseudoboolean Constraints. 349-358
- view
  authority control:
- export record
  dblp key:
  - conf/sat/LiCMVFKMG21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/LiCMVFKMG21
Chunxiao Li, Jonathan Chung, Soham Mukherjee, Marc Vinyals, Noah Fleming, Antonina Kolokolova, Alice Mu, Vijay Ganesh:
On the Hierarchical Community Structure of Practical Boolean Formulas. 359-376
- view
  authority control:
- export record
  dblp key:
  - conf/sat/MannWZSIBDGTB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/MannWZSIBDGTB21
Makai Mann, Amalee Wilson, Yoni Zohar, Lindsey Stuntz, Ahmed Irfan, Kristopher Brown, Caleb Donovick, Allison Guman, Cesare Tinelli, Clark W. Barrett:
Smt-Switch: A Solver-Agnostic C++ API for SMT Solving. 377-386
- view
  authority control:
- export record
  dblp key:
  - conf/sat/Manthey21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/Manthey21
Norbert Manthey:
The MergeSat Solver. 387-398
- view
  authority control:
- export record
  dblp key:
  - conf/sat/MengelS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/MengelS21
Stefan Mengel, Friedrich Slivovsky:
Proof Complexity of Symbolic QBF Reasoning. 399-416
- view
  authority control:
- export record
  dblp key:
  - conf/sat/NawrockiLFHB21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/NawrockiLFHB21
Wojciech Nawrocki, Zhenjun Liu, Andreas Fröhlich, Marijn J. H. Heule, Armin Biere:
XOR Local Search for Boolean Brent Equations. 417-435
- view
  authority control:
- export record
  dblp key:
  - conf/sat/PengX21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/PengX21
Junqiang Peng, Mingyu Xiao:
A Fast Algorithm for SAT in Terms of Formula Length. 436-452
- view
  authority control:
- export record
  dblp key:
  - conf/sat/PimpalkhareMPS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/PimpalkhareMPS21
Nikhil Pimpalkhare, Federico Mora, Elizabeth Polgreen, Sanjit A. Seshia:
MedleySolver: Online SMT Algorithm Selection. 453-470
- view
  authority control:
- export record
  dblp key:
  - conf/sat/PrevotSM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/PrevotSM21
Nicolas Prevot, Mate Soos, Kuldeep S. Meel:
Leveraging GPUs for Effective Clause Sharing in Parallel SAT Solving. 471-487
- view
  authority control:
- export record
  dblp key:
  - conf/sat/PyCH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/PyCH21
Matthieu Py, Mohamed Sami Cherif, Djamal Habet:
A Proof Builder for Max-SAT. 488-498
- view
  authority control:
- export record
  dblp key:
  - conf/sat/ReichlSS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/ReichlSS21
Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider:
Certified DQBF Solving by Definition Extraction. 499-517
- view
  authority control:
- export record
  dblp key:
  - conf/sat/SchreiberS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/SchreiberS21
Dominik Schreiber, Peter Sanders:
Scalable SAT Solving in the Cloud. 518-534
- view
  authority control:
- export record
  dblp key:
  - conf/sat/SicS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/SicS21
Juraj Síc, Jan Strejcek:
DQBDD: An Efficient BDD-Based DQBF Solver. 535-544
- view
  authority control:
- export record
  dblp key:
  - conf/sat/TrimoskaDI21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/TrimoskaDI21
Monika Trimoska, Gilles Dequen, Sorina Ionica:
Logical Cryptanalysis with WDSat. 545-561

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.