Brandon Rozek

brozek synced commits to feat/55 at brozek/vspursuer from mirror 2026-02-11 08:01:21 +00:00

brozek synced new reference feat/55 to brozek/vspursuer from mirror 2026-02-11 08:01:21 +00:00

brozek synced commits to main at brozek/vspursuer from mirror 2026-02-11 08:01:21 +00:00

6a5c45817a (#56) Introduced a new ordering for printing out model values

53fb674d9a Introduced a new ordering for printing out model values

Compare 2 commits »

brozek synced commits to main at brozek/website from mirror 2026-02-09 17:24:52 +00:00

12546442a4 Updated publications

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 »