Brandon Rozek brozek
0 followers · 0 following
Repositories
24
 Projects Packages Public activity Starred repositories
brozek synced commits to main at brozek/website from mirror 2026-02-02 07:00:48 +00:00
366661ca4b New post
brozek synced commits to main at brozek/website from mirror 2026-01-30 22:13:37 +00:00
c17ffef306 Updates to research page
brozek synced commits to main at brozek/website from mirror 2026-01-29 21:53:18 +00:00
626f0544dd Research page update
dc51bf1bda Homepage update
Compare 2 commits »
brozek synced commits to feat/46 at brozek/vspursuer from mirror 2026-01-28 07:32:56 +00:00
51bf1a44d9 Small comment change
06cca7d32e Refactored out valuation generation code in SMT
85ef364a57 Small comment change
51f8adcd44 Small comment change
bf86bfd83e Simplified satisfiable
Compare 13 commits »
brozek synced commits to main at brozek/vspursuer from mirror 2026-01-28 07:32:56 +00:00
42f063408b (#46) Finding models via Z3
51bf1a44d9 Small comment change
06cca7d32e Refactored out valuation generation code in SMT
85ef364a57 Small comment change
51f8adcd44 Small comment change
Compare 15 commits »
brozek synced commits to main at brozek/website from mirror 2026-01-26 05:12:40 +00:00
d767feb35c Small fix
99bcfc349b New post
Compare 2 commits »
brozek synced commits to main at brozek/website from mirror 2026-01-25 21:03:30 +00:00
069cf50730 Small changes
brozek synced commits to master at brozek/website-theme from mirror 2026-01-20 08:56:49 +00:00
6f8ae91e56 Removed amp layouts
brozek synced commits to main at brozek/website from mirror 2026-01-20 03:19:08 +00:00
aea00052c8 Removed amp
brozek synced commits to feat/46 at brozek/vspursuer from mirror 2026-01-16 07:10:24 +00:00
4150ac2a7a Added logic_has_vsp which uses the SMTLogicEncoder
brozek synced commits to main at brozek/website from mirror 2026-01-15 17:30:25 +00:00
66f71ce477 New post
brozek synced commits to feat/46 at brozek/vspursuer from mirror 2026-01-14 07:00:24 +00:00
95e482a265 Cleanup
25bd83f032 Check VSP for non-MaGICal models via SMT
Compare 2 commits »
brozek synced commits to main at brozek/website from mirror 2025-12-30 19:30:25 +00:00
ad840b7b57 Updated publication list
8c066d7ad7 New Post
Compare 2 commits »
brozek synced commits to main at brozek/website from mirror 2025-12-26 18:00:25 +00:00
5918c87954 Fixed malapropism
c3d0b0ad14 Typo fix
d77369cab3 New Post
Compare 3 commits »
brozek synced commits to main at brozek/website from mirror 2025-12-24 01:10:23 +00:00
0740561b54 New Post
brozek synced commits to feat/46 at brozek/vspursuer from mirror 2025-12-13 04:50:25 +00:00
84f1c1fd36 Added check for falsification rules in satisfiable function
a5fb1b92bb Enumerate over all models
Compare 2 commits »
brozek synced commits to main at brozek/vspursuer from mirror 2025-12-13 04:50:25 +00:00
51c26dd9fc Optimization in computing meets and joins
bf2735023f (#52) Skip model sizes 2-5 and 7 when conjunction, disjunction, and negation are defined
f799a1ff5d Skip model sizes 2-5 and 7 when conjunction, disjunction, and negation are defined
Compare 3 commits »
brozek synced commits to fix/model2matrix at brozek/vspursuer from mirror 2025-12-11 04:40:25 +00:00
brozek synced new reference fix/model2matrix to brozek/vspursuer from mirror 2025-12-11 04:40:25 +00:00
brozek synced commits to main at brozek/vspursuer from mirror 2025-12-11 04:40:25 +00:00
ea0b487528 Changed output text to show matrix instead of model
18c2bcb673 Changed from model to matrix
Compare 2 commits »