International Conference on Theory and Applications of Satisfiability Testing | AMiner期刊详情 | AMiner

International Conference on Theory and Applications of Satisfiability Testing | AMiner期刊详情 | AMiner

年发文量

研究主题

论文（1016）

排序

时间引用

1Simplify, Order, Break, Repeat.

Markus Anders,Cayden R. Codel,Marijn J. H. Heule

2026

引用

2A Natively Parallel Proof Framework for Clause-Sharing SAT Solving.

Ruben Götz, Michael Dörr,Dominik Schreiber

2026

引用

3Definition-Based Dependency Schemes.

David Kattermann, Clemens Hofstadler,Martina Seidl

2026

引用

4Hermax: A Unified MaxSAT Library (tool Paper).

Josep Maria Salvia Hornos, Cèsar Fernández Camón, Carles Mateu Piñol

2026

引用

5Towards Understanding the Complexity of CAQE: A Proof-Theoretic Analysis of Its Core Procedure.

Benjamin Böhm,Olaf Beyersdorff

2026

引用

6Sustainable Benchmarking Tool (tool Paper).

Ashlin Iser,Marie Anastacio, Théo Matricon,Laurent Simon,Holger H. Hoos

2026

引用

7PALSAT: Deep Cooperation of Unit Propagation and Local Search in Incomplete SAT Solving.

Mingming Jin, Zhijie Kuang,Jiongzhi Zheng, Kun Mao,Kun He

2026

引用

8Shapley-Shubik Attribution from Minimal Subsets (short Paper).

Pablo Martínez-Naredo,Raúl Mencía,João Marques-Silva,Carlos Mencía

2026

引用

9Long-Distance Q(D^std)-Consensus is Sound.

Abhimanyu Choudhury, Meena Mahajan,Friedrich Slivovsky

2026

引用

10WhyUnsat: A Practical Explanation Tool (tool Paper).

Robert Nieuwenhuis,Albert Oliveras, Enric Rodríguez-Carbonell

2026

引用

11SAT in Saturation: A Satisfied Match (invited Talk).

2026

引用

12Beyond Core-Guided MaxSAT.

Ilario Bonacina,Jordi Levy, Ion Mikel Liberal

2026

引用

13On Proof Systems for #QBF (short Paper).

Sravanthi Chede,Leroy Chew, Vaibhav Krishan,Anil Shukla

2026

引用

14Efficient Identification of Isomorphic SAT Instances (tool Paper).

Ashlin Iser, Frederick Gehm

2026

引用

15Factoring Learned Clauses.

Florian Pollitt, Zachary Battleman,Mathias Fleury, Yakir Vizel,Marijn J. H. Heule,Armin Biere, Randal E. Bryant

2026

引用

16Conditional Autarkies: Hard Formulas Made Easy.

Ilario Bonacina,Maria Luisa Bonet, Antonina Kolokolova,Massimo Lauria

2026

引用

17SAT Modulo Well-Founded Semantics.

Thomas Eiter, Tobias Nießen,Davide Soldà

2026

引用

18Scuttle: A System for Multi-Objective MaxSAT (tool Paper).

Christoph Jabs,Jeremias Berg,Matti Järvisalo

2026

引用

19Unified Programmatic Access to CO Benchmarks, to Connect Constraint Solving Communities (tool Paper).

Thomas Sergeys, Ignace Bleukx,Tias Guns

2026

引用

20CaDiCaL 3.0 (tool Paper).

Florian Pollitt,Mathias Fleury,Katalin Fazekas, Nils Froleyks, André Schidler, Dominik Schreiber,Armin Biere

2026

引用

高被引作者

作者	引用	发文
Niklas Eén	5475	3
Niklas Sörensson	4764	3
Armin Biere	2368	45
Joao Marques-Silva	1773	44
Marijn J.H. Heule	994	38
Fahiem Bacchus	969	17
Ines Lynce	884	16
Stefan Szeider	819	38
Laurent Simon	682	16
Sharad Malik	679	7

高产作者

作者	引用	发文
Armin Biere	2368	45
Joao Marques-Silva	1773	44
Stefan Szeider	819	38
Marijn J.H. Heule	994	38
Olaf Beyersdorff	164	22
Friedrich Slivovsky	227	20
Fahiem Bacchus	969	17
Ines Lynce	884	16
Alexey Ignatiev	576	16
Laurent Simon	682	16

相关期刊

ACM SIGLOG News

Conference on Current Trends in Theory and Practice of Informatics

ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems

Conference on Automated Deduction

Italian Conference on Computational Logic

ACM/IEEE Symposium on Logic in Computer Science

Reachability Problems

Electronic Proceedings in Theoretical Computer Science (EPTCS)

Information and Computation

ACM Transactions on Computational Logic