Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Soos, Mate
29  Ergebnisse:
Personensuche X
?
1

The Pancake Graph of Order 10 Is 4-Colorable:

, In: Proceedings of the 2023 6th International Conference on Mathematics and Statistics,
Tan, Renzo Roel Perez ; Asuncion, Aldrich Ellis Catapang ; Lim, Brian Godwin Sy.. - p. 1-6 , 2023
Link: https://dl.acm.org/doi/1..
 
?
2

Arjun : An Efficient Independent Support Computation Tec..:

, In: Proceedings of the 41st IEEE/ACM International Conference on Computer-Aided Design,
Soos, Mate ; Meel, Kuldeep S. - p. 1-9 , 2022
Link: https://dl.acm.org/doi/1..
 
?
3

Leveraging GPUs for Effective Clause Sharing in Parallel SA..:

, In: Theory and Applications of Satisfiability Testing – SAT 2021; Lecture Notes in Computer Science,
Prevot, Nicolas ; Soos, Mate ; Meel, Kuldeep S. - p. 471-487 , 2021
Link: https://doi.org/10.1007/..
 
?
4

Tinted, Detached, and Lazy CNF-XOR Solving and Its Applicat..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Soos, Mate ; Gocht, Stephan ; Meel, Kuldeep S. - p. 463-484 , 2020
Link: https://doi.org/10.1007/..
 
?
5

$$\mathsf {CrystalBall}$$ : Gazing in the Black Box of SAT ..:

, In: Lecture Notes in Computer Science; Theory and Applications of Satisfiability Testing – SAT 2019,
Soos, Mate ; Kulkarni, Raghav ; Meel, Kuldeep S. - p. 371-387 , 2019
Link: https://doi.org/10.1007/..
 
?
6

Algorithms Transcending the SAT-Symmetry Interface:

Anders, Markus ; Schweitzer, Pascal ; Soos, Mate
http://arxiv.org/abs/2306.00613.  , 2023
Link: http://arxiv.org/abs/230..
 
?
7

Proof Generation for CDCL Solvers Using Gauss-Jordan Elimin..:

Soos, Mate ; Bryant, Randal E
http://arxiv.org/abs/2304.04292.  , 2023
Link: http://arxiv.org/abs/230..
 
?
8

Explaining SAT Solving Using Causal Reasoning:

Yang, Jiong ; Shaw, Arijit ; Baluta, Teodora..
http://arxiv.org/abs/2306.06294.  , 2023
Link: http://arxiv.org/abs/230..
 
?
9

On Quantitative Testing of Samplers:

Soos, Mate ; Golia, Priyanka ; Chakraborty, Sourav.
doi:10.4230/LIPIcs.CP.2022.36.  , 2022
Link: https://doi.org/10.4230/..
 
?
10

Designing Samplers is Easy: The Boon of Testers:

Golia, Priyanka ; Soos, Mate ; Chakraborty, Sourav.
Conference Series: Formal Methods in Computer-Aided Design.  , 2021
Link: https://hdl.handle.net/2..
 
?
11

Arjun: An Efficient Independent Support Computation Techniq..:

Soos, Mate ; Meel, Kuldeep S
http://arxiv.org/abs/2110.09026.  , 2021
Link: http://arxiv.org/abs/211..
 
?
12

Tinted, Detached, and Lazy CNF-XOR Solving and Its Applicat..:

Soos, Mate ; Gocht, Stephan ; Meel, Kuldeep S
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC7363182/.  , 2020
Link: http://www.ncbi.nlm.nih...
 
?
13

BOSPHORUS: Bridging ANF and CNF Solvers:

Choo, Davin ; Soos, Mate ; Chai, Kian Ming A.
http://arxiv.org/abs/1812.04580.  , 2018
Link: http://arxiv.org/abs/181..
 
?
14

Lynx: A Programmatic SAT Solver for the RNA-folding Problem:

Ganesh, Vijay ; O'Donnell, Charles William ; Soos, Mate...
http://dx.doi.org/10.1007/978-3-642-31612-8_12.  , 2012
Link: http://hdl.handle.net/17..
 
?
15

FIRE: fault injection for reverse engineering:

San Pedro, Manuel ; Soos, Mate ; Guilley, Sylvain
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-642-21040-2_20.  , 2011
Link: https://inria.hal.scienc..
 
1-15