Članki z zahtevami za javni dostop - Armin BiereVeč o tem
Na voljo nekje: 110
CaDiCaL, kissat, paracooba, plingeling and treengeling entering the SAT competition 2020
A Biere, K Fazekas, M Fleury, M Heisinger
SAT COMPETITION 50, 2020, 2020
Zahteve: Austrian Science Fund
Inprocessing rules
M Järvisalo, MJH Heule, A Biere
International Joint Conference on Automated Reasoning, 355-370, 2012
Zahteve: Austrian Science Fund
Cube and conquer: Guiding CDCL SAT solvers by lookaheads
MJH Heule, O Kullmann, S Wieringa, A Biere
Haifa Verification Conference, 50-65, 2011
Zahteve: Austrian Science Fund
Blocked clause elimination for QBF
A Biere, F Lonsing, M Seidl
International Conference on Automated Deduction, 101-115, 2011
Zahteve: Austrian Science Fund
Btor2 , BtorMC and Boolector 3.0
A Niemetz, M Preiner, C Wolf, A Biere
International Conference on Computer Aided Verification, 587-595, 2018
Zahteve: Austrian Science Fund
CaDiCaL at the SAT Race 2019
SD QUEUE
SAT RACE 2019, 8, 2019
Zahteve: Austrian Science Fund
Evaluating CDCL variable scoring schemes
A Biere, A Fröhlich
Theory and Applications of Satisfiability Testing--SAT 2015: 18th …, 2015
Zahteve: Austrian Science Fund
Automated reencoding of boolean formulas
N Manthey, MJH Heule, A Biere
Haifa Verification Conference, 102-117, 2012
Zahteve: Austrian Science Fund
Verifying large multipliers by combining SAT and computer algebra
D Kaufmann, A Biere, M Kauers
2019 Formal Methods in Computer Aided Design (FMCAD), 28-36, 2019
Zahteve: Austrian Science Fund
Clause elimination for SAT and QSAT
M Heule, M Järvisalo, F Lonsing, M Seidl, A Biere
Journal of Artificial Intelligence Research 53, 127-168, 2015
Zahteve: Austrian Science Fund, Academy of Finland, Vienna Science and Technology …
Efficient CNF simplification based on binary implication graphs
MJH Heule, M Järvisalo, A Biere
International Conference on Theory and Applications of Satisfiability …, 2011
Zahteve: Austrian Science Fund
Proof complexity and SAT solving
S Buss, J Nordström
Handbook of Satisfiability, 233-350, 2021
Zahteve: US National Science Foundation, Danish Council for Independent Research …
SAT race 2015
T Balyo, A Biere, M Iser, C Sinz
Artificial Intelligence 241, 45-65, 2016
Zahteve: Austrian Science Fund, German Research Foundation
Resolution-Based Certificate Extraction for QBF: (Tool Presentation)
A Niemetz, M Preiner, F Lonsing, M Seidl, A Biere
International Conference on Theory and Applications of Satisfiability …, 2012
Zahteve: Austrian Science Fund
Evaluating CDCL restart schemes
A Biere, A Fröhlich
Proceedings of Pragmatics of SAT, 1-17, 2015
Zahteve: Austrian Science Fund
A survey on applications of quantified Boolean formulas
A Shukla, A Biere, L Pulina, M Seidl
2019 IEEE 31st International Conference on Tools with Artificial …, 2019
Zahteve: Austrian Science Fund
Managing SAT inconsistencies with HUMUS
A Nöhrer, A Biere, A Egyed
Proceedings of the 6th International Workshop on Variability Modeling of …, 2012
Zahteve: Austrian Science Fund
Simulating circuit-level simplifications on CNF
M Järvisalo, A Biere, MJH Heule
Journal of Automated Reasoning 49 (4), 583-619, 2012
Zahteve: Austrian Science Fund
Column-wise verification of multipliers using computer algebra
D Ritirc, A Biere, M Kauers
2017 Formal Methods in Computer Aided Design (FMCAD), 23-30, 2017
Zahteve: Austrian Science Fund
A unified proof system for QBF preprocessing
MJH Heule, M Seidl, A Biere
International Joint Conference on Automated Reasoning, 91-106, 2014
Zahteve: Austrian Science Fund
Podatke o objavi in financiranju samodejno določi računalniški program