default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/sat/sat2024.bht:"
download as .bib file
@inproceedings{DBLP:conf/sat/000124,
author = {Dominik Schreiber},
editor = {Supratik Chakraborty and
Jie{-}Hong Roland Jiang},
title = {Trusted Scalable {SAT} Solving with On-The-Fly {LRAT} Checking},
booktitle = {27th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2024, August 21-24, 2024, Pune, India},
series = {LIPIcs},
volume = {305},
pages = {25:1--25:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.SAT.2024.25},
doi = {10.4230/LIPICS.SAT.2024.25},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/000124.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/0001SS24,
author = {Christoph Scholl and
Tobias Seufert and
Fabian Siegwolf},
editor = {Supratik Chakraborty and
Jie{-}Hong Roland Jiang},
title = {Hierarchical Stochastic {SAT} and Quality Assessment of Logic Locking},
booktitle = {27th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2024, August 21-24, 2024, Pune, India},
series = {LIPIcs},
volume = {305},
pages = {24:1--24:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.SAT.2024.24},
doi = {10.4230/LIPICS.SAT.2024.24},
timestamp = {Wed, 21 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/0001SS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/0002KSHD24,
author = {Jiong Yang and
Yaroslav A. Kharkov and
Yunong Shi and
Marijn J. H. Heule and
Bruno Dutertre},
editor = {Supratik Chakraborty and
Jie{-}Hong Roland Jiang},
title = {Quantum Circuit Mapping Based on Incremental and Parallel {SAT} Solving},
booktitle = {27th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2024, August 21-24, 2024, Pune, India},
series = {LIPIcs},
volume = {305},
pages = {29:1--29:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.SAT.2024.29},
doi = {10.4230/LIPICS.SAT.2024.29},
timestamp = {Wed, 21 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/0002KSHD24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/AndersBR24,
author = {Markus Anders and
Sofia Brenner and
Gaurav Rattan},
editor = {Supratik Chakraborty and
Jie{-}Hong Roland Jiang},
title = {Satsuma: Structure-Based Symmetry Breaking in {SAT}},
booktitle = {27th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2024, August 21-24, 2024, Pune, India},
series = {LIPIcs},
volume = {305},
pages = {4:1--4:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.SAT.2024.4},
doi = {10.4230/LIPICS.SAT.2024.4},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/AndersBR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/BeyersdorffFHHK24,
author = {Olaf Beyersdorff and
Johannes Klaus Fichte and
Markus Hecher and
Tim Hoffmann and
Kaspar Kasche},
editor = {Supratik Chakraborty and
Jie{-}Hong Roland Jiang},
title = {The Relative Strength of {\#}SAT Proof Systems},
booktitle = {27th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2024, August 21-24, 2024, Pune, India},
series = {LIPIcs},
volume = {305},
pages = {5:1--5:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.SAT.2024.5},
doi = {10.4230/LIPICS.SAT.2024.5},
timestamp = {Wed, 21 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/BeyersdorffFHHK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/BiereFFF24,
author = {Armin Biere and
Katalin Fazekas and
Mathias Fleury and
Nils Froleyks},
editor = {Supratik Chakraborty and
Jie{-}Hong Roland Jiang},
title = {Clausal Congruence Closure},
booktitle = {27th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2024, August 21-24, 2024, Pune, India},
series = {LIPIcs},
volume = {305},
pages = {6:1--6:25},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.SAT.2024.6},
doi = {10.4230/LIPICS.SAT.2024.6},
timestamp = {Wed, 21 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/BiereFFF24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/BonacinaBL24,
author = {Ilario Bonacina and
Maria Luisa Bonet and
Massimo Lauria},
editor = {Supratik Chakraborty and
Jie{-}Hong Roland Jiang},
title = {MaxSAT Resolution with Inclusion Redundancy},
booktitle = {27th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2024, August 21-24, 2024, Pune, India},
series = {LIPIcs},
volume = {305},
pages = {7:1--7:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.SAT.2024.7},
doi = {10.4230/LIPICS.SAT.2024.7},
timestamp = {Wed, 21 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/BonacinaBL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/ChuLY024,
author = {Yi Chu and
Chu{-}Min Li and
Furong Ye and
Shaowei Cai},
editor = {Supratik Chakraborty and
Jie{-}Hong Roland Jiang},
title = {Enhancing MaxSAT Local Search via a Unified Soft Clause Weighting
Scheme},
booktitle = {27th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2024, August 21-24, 2024, Pune, India},
series = {LIPIcs},
volume = {305},
pages = {8:1--8:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.SAT.2024.8},
doi = {10.4230/LIPICS.SAT.2024.8},
timestamp = {Mon, 21 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/ChuLY024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/Colnet24,
author = {Alexis de Colnet},
editor = {Supratik Chakraborty and
Jie{-}Hong Roland Jiang},
title = {On the Relative Efficiency of Dynamic and Static Top-Down Compilation
to Decision-DNNF},
booktitle = {27th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2024, August 21-24, 2024, Pune, India},
series = {LIPIcs},
volume = {305},
pages = {11:1--11:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.SAT.2024.11},
doi = {10.4230/LIPICS.SAT.2024.11},
timestamp = {Wed, 21 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/Colnet24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/CoutelierFK24,
author = {Robin Coutelier and
Mathias Fleury and
Laura Kov{\'{a}}cs},
editor = {Supratik Chakraborty and
Jie{-}Hong Roland Jiang},
title = {Lazy Reimplication in Chronological Backtracking},
booktitle = {27th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2024, August 21-24, 2024, Pune, India},
series = {LIPIcs},
volume = {305},
pages = {9:1--9:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.SAT.2024.9},
doi = {10.4230/LIPICS.SAT.2024.9},
timestamp = {Wed, 21 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/CoutelierFK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/DahiyaMM24,
author = {Yogesh Dahiya and
Meena Mahajan and
Sasank Mouli},
editor = {Supratik Chakraborty and
Jie{-}Hong Roland Jiang},
title = {New Lower Bounds for Polynomial Calculus over Non-Boolean Bases},
booktitle = {27th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2024, August 21-24, 2024, Pune, India},
series = {LIPIcs},
volume = {305},
pages = {10:1--10:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.SAT.2024.10},
doi = {10.4230/LIPICS.SAT.2024.10},
timestamp = {Wed, 21 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/DahiyaMM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/FaberJM24,
author = {Daniel Faber and
Adalat Jabrayilov and
Petra Mutzel},
editor = {Supratik Chakraborty and
Jie{-}Hong Roland Jiang},
title = {{SAT} Encoding of Partial Ordering Models for Graph Coloring Problems},
booktitle = {27th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2024, August 21-24, 2024, Pune, India},
series = {LIPIcs},
volume = {305},
pages = {12:1--12:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.SAT.2024.12},
doi = {10.4230/LIPICS.SAT.2024.12},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/FaberJM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/FriedNSS24,
author = {Dror Fried and
Alexander Nadel and
Roberto Sebastiani and
Yogev Shalmon},
editor = {Supratik Chakraborty and
Jie{-}Hong Roland Jiang},
title = {Entailing Generalization Boosts Enumeration},
booktitle = {27th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2024, August 21-24, 2024, Pune, India},
series = {LIPIcs},
volume = {305},
pages = {13:1--13:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.SAT.2024.13},
doi = {10.4230/LIPICS.SAT.2024.13},
timestamp = {Wed, 21 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/FriedNSS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/HavlenaHLS24,
author = {Vojtech Havlena and
Luk{\'{a}}s Hol{\'{\i}}k and
Ondrej Leng{\'{a}}l and
Juraj S{\'{\i}}c},
editor = {Supratik Chakraborty and
Jie{-}Hong Roland Jiang},
title = {Cooking String-Integer Conversions with Noodles},
booktitle = {27th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2024, August 21-24, 2024, Pune, India},
series = {LIPIcs},
volume = {305},
pages = {14:1--14:19},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.SAT.2024.14},
doi = {10.4230/LIPICS.SAT.2024.14},
timestamp = {Wed, 21 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/HavlenaHLS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/HolikV24,
author = {Luk{\'{a}}s Hol{\'{\i}}k and
Pavol Vargovc{\'{\i}}k},
editor = {Supratik Chakraborty and
Jie{-}Hong Roland Jiang},
title = {Antichain with {SAT} and Tries},
booktitle = {27th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2024, August 21-24, 2024, Pune, India},
series = {LIPIcs},
volume = {305},
pages = {15:1--15:24},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.SAT.2024.15},
doi = {10.4230/LIPICS.SAT.2024.15},
timestamp = {Wed, 21 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/HolikV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/IgnatievTK24,
author = {Alexey Ignatiev and
Zi Li Tan and
Christos Karamanos},
editor = {Supratik Chakraborty and
Jie{-}Hong Roland Jiang},
title = {Towards Universally Accessible {SAT} Technology},
booktitle = {27th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2024, August 21-24, 2024, Pune, India},
series = {LIPIcs},
volume = {305},
pages = {16:1--16:11},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.SAT.2024.16},
doi = {10.4230/LIPICS.SAT.2024.16},
timestamp = {Wed, 21 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/IgnatievTK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/IidaSI24,
author = {Yoichiro Iida and
Tomohiro Sonobe and
Mary Inaba},
editor = {Supratik Chakraborty and
Jie{-}Hong Roland Jiang},
title = {Parallel Clause Sharing Strategy Based on Graph Structure of {SAT}
Problem},
booktitle = {27th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2024, August 21-24, 2024, Pune, India},
series = {LIPIcs},
volume = {305},
pages = {17:1--17:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.SAT.2024.17},
doi = {10.4230/LIPICS.SAT.2024.17},
timestamp = {Wed, 21 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/IidaSI24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/IserJ24,
author = {Markus Iser and
Christoph Jabs},
editor = {Supratik Chakraborty and
Jie{-}Hong Roland Jiang},
title = {Global Benchmark Database},
booktitle = {27th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2024, August 21-24, 2024, Pune, India},
series = {LIPIcs},
volume = {305},
pages = {18:1--18:10},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.SAT.2024.18},
doi = {10.4230/LIPICS.SAT.2024.18},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/IserJ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/ItsyksonO24,
author = {Dmitry Itsykson and
Sergei Ovcharov},
editor = {Supratik Chakraborty and
Jie{-}Hong Roland Jiang},
title = {On Limits of Symbolic Approach to {SAT} Solving},
booktitle = {27th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2024, August 21-24, 2024, Pune, India},
series = {LIPIcs},
volume = {305},
pages = {19:1--19:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.SAT.2024.19},
doi = {10.4230/LIPICS.SAT.2024.19},
timestamp = {Wed, 21 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/ItsyksonO24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/KolodziejczykT24,
author = {Leszek Aleksander Kolodziejczyk and
Neil Thapen},
editor = {Supratik Chakraborty and
Jie{-}Hong Roland Jiang},
title = {The Strength of the Dominance Rule},
booktitle = {27th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2024, August 21-24, 2024, Pune, India},
series = {LIPIcs},
volume = {305},
pages = {20:1--20:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.SAT.2024.20},
doi = {10.4230/LIPICS.SAT.2024.20},
timestamp = {Wed, 21 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/KolodziejczykT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/LagniezMB24,
author = {Jean{-}Marie Lagniez and
Pierre Marquis and
Armin Biere},
editor = {Supratik Chakraborty and
Jie{-}Hong Roland Jiang},
title = {Dynamic Blocked Clause Elimination for Projected Model Counting},
booktitle = {27th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2024, August 21-24, 2024, Pune, India},
series = {LIPIcs},
volume = {305},
pages = {21:1--21:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.SAT.2024.21},
doi = {10.4230/LIPICS.SAT.2024.21},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/LagniezMB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/NieuwenhuisORZ24,
author = {Robert Nieuwenhuis and
Albert Oliveras and
Enric Rodr{\'{\i}}guez{-}Carbonell and
Rui Zhao},
editor = {Supratik Chakraborty and
Jie{-}Hong Roland Jiang},
title = {Speeding up Pseudo-Boolean Propagation},
booktitle = {27th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2024, August 21-24, 2024, Pune, India},
series = {LIPIcs},
volume = {305},
pages = {22:1--22:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.SAT.2024.22},
doi = {10.4230/LIPICS.SAT.2024.22},
timestamp = {Wed, 21 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/NieuwenhuisORZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/ReichlSS24,
author = {Franz{-}Xaver Reichl and
Friedrich Slivovsky and
Stefan Szeider},
editor = {Supratik Chakraborty and
Jie{-}Hong Roland Jiang},
title = {eSLIM: Circuit Minimization with {SAT} Based Local Improvement},
booktitle = {27th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2024, August 21-24, 2024, Pune, India},
series = {LIPIcs},
volume = {305},
pages = {23:1--23:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.SAT.2024.23},
doi = {10.4230/LIPICS.SAT.2024.23},
timestamp = {Wed, 21 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/ReichlSS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/Seidl24,
author = {Martina Seidl},
editor = {Supratik Chakraborty and
Jie{-}Hong Roland Jiang},
title = {Models and Counter-Models of Quantified Boolean Formulas (Invited
Talk)},
booktitle = {27th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2024, August 21-24, 2024, Pune, India},
series = {LIPIcs},
volume = {305},
pages = {1:1--1:7},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.SAT.2024.1},
doi = {10.4230/LIPICS.SAT.2024.1},
timestamp = {Wed, 21 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/Seidl24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/ShaikP24,
author = {Irfansha Shaik and
Jaco van de Pol},
editor = {Supratik Chakraborty and
Jie{-}Hong Roland Jiang},
title = {Optimal Layout Synthesis for Deep Quantum Circuits on {NISQ} Processors
with 100+ Qubits},
booktitle = {27th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2024, August 21-24, 2024, Pune, India},
series = {LIPIcs},
volume = {305},
pages = {26:1--26:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.SAT.2024.26},
doi = {10.4230/LIPICS.SAT.2024.26},
timestamp = {Wed, 21 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/ShaikP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/ShavitH24,
author = {Hadar Shavit and
Holger H. Hoos},
editor = {Supratik Chakraborty and
Jie{-}Hong Roland Jiang},
title = {Revisiting SATZilla Features in 2024},
booktitle = {27th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2024, August 21-24, 2024, Pune, India},
series = {LIPIcs},
volume = {305},
pages = {27:1--27:26},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.SAT.2024.27},
doi = {10.4230/LIPICS.SAT.2024.27},
timestamp = {Wed, 21 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/ShavitH24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/Slivovsky24,
author = {Friedrich Slivovsky},
editor = {Supratik Chakraborty and
Jie{-}Hong Roland Jiang},
title = {Strategy Extraction by Interpolation},
booktitle = {27th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2024, August 21-24, 2024, Pune, India},
series = {LIPIcs},
volume = {305},
pages = {28:1--28:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.SAT.2024.28},
doi = {10.4230/LIPICS.SAT.2024.28},
timestamp = {Wed, 21 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/Slivovsky24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/Tinelli24,
author = {Cesare Tinelli},
editor = {Supratik Chakraborty and
Jie{-}Hong Roland Jiang},
title = {Scalable Proof Production and Checking in {SMT} (Invited Talk)},
booktitle = {27th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2024, August 21-24, 2024, Pune, India},
series = {LIPIcs},
volume = {305},
pages = {2:1--2:2},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.SAT.2024.2},
doi = {10.4230/LIPICS.SAT.2024.2},
timestamp = {Wed, 21 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/Tinelli24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/Vardi24,
author = {Moshe Y. Vardi},
editor = {Supratik Chakraborty and
Jie{-}Hong Roland Jiang},
title = {Logical Algorithmics: From Relational Queries to Boolean Reasoning
(Invited Talk)},
booktitle = {27th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2024, August 21-24, 2024, Pune, India},
series = {LIPIcs},
volume = {305},
pages = {3:1--3:1},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.SAT.2024.3},
doi = {10.4230/LIPICS.SAT.2024.3},
timestamp = {Wed, 21 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/Vardi24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/X24,
editor = {Supratik Chakraborty and
Jie{-}Hong Roland Jiang},
title = {Front Matter, Table of Contents, Preface, Conference Organization},
booktitle = {27th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2024, August 21-24, 2024, Pune, India},
series = {LIPIcs},
volume = {305},
pages = {0:i--0:xviii},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.SAT.2024.0},
doi = {10.4230/LIPICS.SAT.2024.0},
timestamp = {Wed, 21 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/X24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/YuFIS24,
author = {Jinqiang Yu and
Graham Farr and
Alexey Ignatiev and
Peter J. Stuckey},
editor = {Supratik Chakraborty and
Jie{-}Hong Roland Jiang},
title = {Anytime Approximate Formal Feature Attribution},
booktitle = {27th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2024, August 21-24, 2024, Pune, India},
series = {LIPIcs},
volume = {305},
pages = {30:1--30:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.SAT.2024.30},
doi = {10.4230/LIPICS.SAT.2024.30},
timestamp = {Wed, 21 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/YuFIS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/ZhangPS24,
author = {Tianwei Zhang and
Tom{\'{a}}s Peitl and
Stefan Szeider},
editor = {Supratik Chakraborty and
Jie{-}Hong Roland Jiang},
title = {Small Unsatisfiable k-CNFs with Bounded Literal Occurrence},
booktitle = {27th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2024, August 21-24, 2024, Pune, India},
series = {LIPIcs},
volume = {305},
pages = {31:1--31:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.SAT.2024.31},
doi = {10.4230/LIPICS.SAT.2024.31},
timestamp = {Wed, 21 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/ZhangPS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sat/2024,
editor = {Supratik Chakraborty and
Jie{-}Hong Roland Jiang},
title = {27th International Conference on Theory and Applications of Satisfiability
Testing, {SAT} 2024, August 21-24, 2024, Pune, India},
series = {LIPIcs},
volume = {305},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://www.dagstuhl.de/dagpub/978-3-95977-334-8},
isbn = {978-3-95977-334-8},
timestamp = {Wed, 21 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/2024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2025-01-22 00:50 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
